doc-src/Logics/Makefile
changeset 605 4da7bd70afe2
child 1053 a19fbe807f91
equal deleted inserted replaced
604:df621b2535aa 605:4da7bd70afe2
       
     1 #  $Id$
       
     2 #########################################################################
       
     3 #									#
       
     4 #	Makefile for the report "Isabelle's Object-Logics"		#
       
     5 #									#
       
     6 #########################################################################
       
     7 
       
     8 
       
     9 FILES =  logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
       
    10 	 ../iman.sty ../extra.sty
       
    11 
       
    12 logics.dvi.gz:   $(FILES) 
       
    13 	latex209 logics
       
    14 	bibtex logics
       
    15 	latex209 logics
       
    16 	latex209 logics
       
    17 	../sedindex logics
       
    18 	latex209 logics
       
    19 	gzip -f logics.dvi