1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/ZF/Makefile	Wed Jan 13 16:36:36 1999 +0100
     1.3 @@ -0,0 +1,34 @@
     1.4 +#  $Id$
     1.5 +#########################################################################
     1.6 +#									#
     1.7 +#	Makefile for the report "Isabelle's Logics: FOL and ZF"		#
     1.8 +#									#
     1.9 +#########################################################################
    1.10 +
    1.11 +
    1.12 +FILES =  logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex\
    1.13 +	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
    1.14 +
    1.15 +logics-ZF.dvi.gz:   $(FILES) 
    1.16 +	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    1.17 +	-rm logics-ZF.dvi*
    1.18 +	latex logics-ZF
    1.19 +	rail logics-ZF
    1.20 +	bibtex logics-ZF
    1.21 +	latex logics-ZF
    1.22 +	latex logics-ZF
    1.23 +	../sedindex logics-ZF
    1.24 +	latex logics-ZF
    1.25 +	gzip -f logics-ZF.dvi
    1.26 +
    1.27 +dist:   $(FILES) 
    1.28 +	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    1.29 +	-rm logics-ZF.dvi*
    1.30 +	latex logics-ZF
    1.31 +	latex logics-ZF
    1.32 +	../sedindex logics-ZF
    1.33 +	latex logics-ZF
    1.34 +
    1.35 +clean:
    1.36 +	@rm *.aux *.log *.toc *.idx *.rai
    1.37 +