doc-src/Logics/Makefile
changeset 1053 a19fbe807f91
parent 605 4da7bd70afe2
child 1163 c080ff36d24e
equal deleted inserted replaced
1052:e044350bfa52 1053:a19fbe807f91
     8 
     8 
     9 FILES =  logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
     9 FILES =  logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
    10 	 ../iman.sty ../extra.sty
    10 	 ../iman.sty ../extra.sty
    11 
    11 
    12 logics.dvi.gz:   $(FILES) 
    12 logics.dvi.gz:   $(FILES) 
       
    13 	-rm logics.dvi.gz
    13 	latex209 logics
    14 	latex209 logics
    14 	bibtex logics
    15 	bibtex logics
    15 	latex209 logics
    16 	latex209 logics
    16 	latex209 logics
    17 	latex209 logics
    17 	../sedindex logics
    18 	../sedindex logics