1.1 --- a/doc-src/Logics/Makefile	Fri May 02 16:18:11 1997 +0200
     1.2 +++ b/doc-src/Logics/Makefile	Fri May 02 16:18:49 1997 +0200
     1.3 @@ -7,22 +7,22 @@
     1.4  
     1.5  
     1.6  FILES =  logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
     1.7 -	 ../rail.sty ../proof209.sty ../iman.sty ../extra.sty
     1.8 +	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
     1.9  
    1.10  logics.dvi.gz:   $(FILES) 
    1.11  	-rm logics.dvi*
    1.12 -	latex209 logics
    1.13 +	latex logics
    1.14  	rail logics
    1.15  	bibtex logics
    1.16 -	latex209 logics
    1.17 -	latex209 logics
    1.18 +	latex logics
    1.19 +	latex logics
    1.20  	../sedindex logics
    1.21 -	latex209 logics
    1.22 +	latex logics
    1.23  	gzip -f logics.dvi
    1.24  
    1.25  dist:   $(FILES) 
    1.26  	-rm logics.dvi*
    1.27 -	latex209 logics
    1.28 -	latex209 logics
    1.29 +	latex logics
    1.30 +	latex logics
    1.31  	../sedindex logics
    1.32 -	latex209 logics
    1.33 +	latex logics