author | wenzelm |
Wed, 26 Aug 1998 16:33:29 +0200 | |
changeset 5374 | 6ef3742b6153 |
parent 5170 | 33fbffd06c12 |
child 5548 | 5cd3396802f5 |
permissions | -rw-r--r-- |
1 # $Id$
2 #########################################################################
3 # #
4 # Makefile for the report "Isabelle's Object-Logics" #
5 # #
6 #########################################################################
9 FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
10 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
12 logics.dvi.gz: $(FILES)
13 @ln -sf ../gfx/isabelle.eps .
14 -rm logics.dvi*
15 latex logics
16 rail logics
17 bibtex logics
18 latex logics
19 latex logics
20 ../sedindex logics
21 latex logics
22 gzip -f logics.dvi
24 dist: $(FILES)
25 @ln -sf ../gfx/isabelle.eps .
26 -rm logics.dvi*
27 latex logics
28 latex logics
29 ../sedindex logics
30 latex logics
32 clean:
33 @rm *.aux *.log *.toc *.idx *.rai