--- a/doc-src/Logics/Makefile Fri May 02 16:18:11 1997 +0200
+++ b/doc-src/Logics/Makefile Fri May 02 16:18:49 1997 +0200
@@ -7,22 +7,22 @@
FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
- ../rail.sty ../proof209.sty ../iman.sty ../extra.sty
+ ../rail.sty ../proof.sty ../iman.sty ../extra.sty
logics.dvi.gz: $(FILES)
-rm logics.dvi*
- latex209 logics
+ latex logics
rail logics
bibtex logics
- latex209 logics
- latex209 logics
+ latex logics
+ latex logics
../sedindex logics
- latex209 logics
+ latex logics
gzip -f logics.dvi
dist: $(FILES)
-rm logics.dvi*
- latex209 logics
- latex209 logics
+ latex logics
+ latex logics
../sedindex logics
- latex209 logics
+ latex logics