doc-src/Logics/Makefile
changeset 3096 ccc2c92bb232
parent 2661 366190b74832
child 3164 ddb0b1fdfdea
--- 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