--- a/doc-src/Makefile Thu Apr 13 17:05:41 1995 +0200
+++ b/doc-src/Makefile Fri Apr 14 11:20:53 1995 +0200
@@ -9,6 +9,7 @@
FILES = ind-defs.tex iman.sty extra.sty
ind-defs.dvi.gz: $(FILES)
+ -rm ind-defs.dvi.gz
latex209 ind-defs
bibtex ind-defs
latex209 ind-defs