author | berghofe |
Fri, 02 May 1997 16:18:49 +0200 | |
changeset 3096 | ccc2c92bb232 |
parent 2661 | 366190b74832 |
child 3164 | ddb0b1fdfdea |
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 -rm logics.dvi*
14 latex logics
15 rail logics
16 bibtex logics
17 latex logics
18 latex logics
19 ../sedindex logics
20 latex logics
21 gzip -f logics.dvi
23 dist: $(FILES)
24 -rm logics.dvi*
25 latex logics
26 latex logics
27 ../sedindex logics
28 latex logics