doc-src/ZF/Makefile
author paulson
Wed, 13 Jan 1999 16:36:36 +0100
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

#  $Id$
#########################################################################
#									#
#	Makefile for the report "Isabelle's Logics: FOL and ZF"		#
#									#
#########################################################################


FILES =  logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex\
	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty

logics-ZF.dvi.gz:   $(FILES) 
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
	-rm logics-ZF.dvi*
	latex logics-ZF
	rail logics-ZF
	bibtex logics-ZF
	latex logics-ZF
	latex logics-ZF
	../sedindex logics-ZF
	latex logics-ZF
	gzip -f logics-ZF.dvi

dist:   $(FILES) 
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
	-rm logics-ZF.dvi*
	latex logics-ZF
	latex logics-ZF
	../sedindex logics-ZF
	latex logics-ZF

clean:
	@rm *.aux *.log *.toc *.idx *.rai