doc-src/ZF/Makefile
author paulson
Wed Jan 13 16:36:36 1999 +0100 (1999-01-13)
changeset 6121 5fe77b9b5185
child 6579 d0c6bb2577b1
permissions -rw-r--r--
the separate FOL and ZF logics manual, with new material on datatypes and
inductive definitions
     1 #  $Id$
     2 #########################################################################
     3 #									#
     4 #	Makefile for the report "Isabelle's Logics: FOL and ZF"		#
     5 #									#
     6 #########################################################################
     7 
     8 
     9 FILES =  logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex\
    10 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
    11 
    12 logics-ZF.dvi.gz:   $(FILES) 
    13 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    14 	-rm logics-ZF.dvi*
    15 	latex logics-ZF
    16 	rail logics-ZF
    17 	bibtex logics-ZF
    18 	latex logics-ZF
    19 	latex logics-ZF
    20 	../sedindex logics-ZF
    21 	latex logics-ZF
    22 	gzip -f logics-ZF.dvi
    23 
    24 dist:   $(FILES) 
    25 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    26 	-rm logics-ZF.dvi*
    27 	latex logics-ZF
    28 	latex logics-ZF
    29 	../sedindex logics-ZF
    30 	latex logics-ZF
    31 
    32 clean:
    33 	@rm *.aux *.log *.toc *.idx *.rai
    34