--- 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