diff -r e044350bfa52 -r a19fbe807f91 doc-src/Logics/Makefile
--- a/doc-src/Logics/Makefile	Thu Apr 13 17:05:41 1995 +0200
+++ b/doc-src/Logics/Makefile	Fri Apr 14 11:20:53 1995 +0200
@@ -10,6 +10,7 @@
 	 ../iman.sty ../extra.sty
 
 logics.dvi.gz:   $(FILES) 
+	-rm logics.dvi.gz
 	latex209 logics
 	bibtex logics
 	latex209 logics