diff -r 20251c80be78 -r ccc2c92bb232 doc-src/Logics/Makefile --- 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