doc-src/Intro/Makefile
changeset 1053 a19fbe807f91
parent 603 62b44d488af6
child 2656 71097a167f0b
--- a/doc-src/Intro/Makefile	Thu Apr 13 17:05:41 1995 +0200
+++ b/doc-src/Intro/Makefile	Fri Apr 14 11:20:53 1995 +0200
@@ -10,6 +10,7 @@
 	 ../iman.sty ../extra.sty
 
 intro.dvi.gz:   $(FILES) 
+	-rm intro.dvi.gz
 	latex209 intro
 	bibtex intro
 	latex209 intro