--- a/doc-src/Logics/Makefile Thu Apr 25 11:44:34 1996 +0200
+++ b/doc-src/Logics/Makefile Thu Apr 25 11:48:13 1996 +0200
@@ -12,6 +12,7 @@
logics.dvi.gz: $(FILES)
-rm logics.dvi.gz
latex209 logics
+ rail logics
bibtex logics
latex209 logics
latex209 logics