doc-src/Logics/Makefile
changeset 1163 c080ff36d24e
parent 1053 a19fbe807f91
child 1226 e9c01f251f5d
equal deleted inserted replaced
1162:7be0684950a3 1163:c080ff36d24e
     4 #	Makefile for the report "Isabelle's Object-Logics"		#
     4 #	Makefile for the report "Isabelle's Object-Logics"		#
     5 #									#
     5 #									#
     6 #########################################################################
     6 #########################################################################
     7 
     7 
     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 CHOL.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 	-rm logics.dvi.gz
    14 	latex209 logics
    14 	latex209 logics