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
paulson@6121
     1
#  $Id$
paulson@6121
     2
#########################################################################
paulson@6121
     3
#									#
paulson@6121
     4
#	Makefile for the report "Isabelle's Logics: FOL and ZF"		#
paulson@6121
     5
#									#
paulson@6121
     6
#########################################################################
paulson@6121
     7
paulson@6121
     8
paulson@6121
     9
FILES =  logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex\
paulson@6121
    10
	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
paulson@6121
    11
paulson@6121
    12
logics-ZF.dvi.gz:   $(FILES) 
paulson@6121
    13
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
paulson@6121
    14
	-rm logics-ZF.dvi*
paulson@6121
    15
	latex logics-ZF
paulson@6121
    16
	rail logics-ZF
paulson@6121
    17
	bibtex logics-ZF
paulson@6121
    18
	latex logics-ZF
paulson@6121
    19
	latex logics-ZF
paulson@6121
    20
	../sedindex logics-ZF
paulson@6121
    21
	latex logics-ZF
paulson@6121
    22
	gzip -f logics-ZF.dvi
paulson@6121
    23
paulson@6121
    24
dist:   $(FILES) 
paulson@6121
    25
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
paulson@6121
    26
	-rm logics-ZF.dvi*
paulson@6121
    27
	latex logics-ZF
paulson@6121
    28
	latex logics-ZF
paulson@6121
    29
	../sedindex logics-ZF
paulson@6121
    30
	latex logics-ZF
paulson@6121
    31
paulson@6121
    32
clean:
paulson@6121
    33
	@rm *.aux *.log *.toc *.idx *.rai
paulson@6121
    34