author | wenzelm |
Mon, 12 May 1997 17:15:36 +0200 | |
changeset 3164 | ddb0b1fdfdea |
parent 3096 | ccc2c92bb232 |
child 5170 | 33fbffd06c12 |
permissions | -rw-r--r-- |
lcp@605 | 1 |
# $Id$ |
lcp@605 | 2 |
######################################################################### |
lcp@605 | 3 |
# # |
lcp@605 | 4 |
# Makefile for the report "Isabelle's Object-Logics" # |
lcp@605 | 5 |
# # |
lcp@605 | 6 |
######################################################################### |
lcp@605 | 7 |
|
lcp@605 | 8 |
|
paulson@1226 | 9 |
FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\ |
berghofe@3096 | 10 |
../rail.sty ../proof.sty ../iman.sty ../extra.sty |
lcp@605 | 11 |
|
lcp@605 | 12 |
logics.dvi.gz: $(FILES) |
wenzelm@2661 | 13 |
-rm logics.dvi* |
berghofe@3096 | 14 |
latex logics |
paulson@1683 | 15 |
rail logics |
lcp@605 | 16 |
bibtex logics |
berghofe@3096 | 17 |
latex logics |
berghofe@3096 | 18 |
latex logics |
lcp@605 | 19 |
../sedindex logics |
berghofe@3096 | 20 |
latex logics |
lcp@605 | 21 |
gzip -f logics.dvi |
wenzelm@2661 | 22 |
|
wenzelm@2661 | 23 |
dist: $(FILES) |
wenzelm@2661 | 24 |
-rm logics.dvi* |
berghofe@3096 | 25 |
latex logics |
berghofe@3096 | 26 |
latex logics |
wenzelm@2661 | 27 |
../sedindex logics |
berghofe@3096 | 28 |
latex logics |
wenzelm@3164 | 29 |
|
wenzelm@3164 | 30 |
clean: |
wenzelm@3164 | 31 |
@rm *.aux *.log *.toc *.idx *.rai |
wenzelm@3164 | 32 |