author | wenzelm |
Tue, 04 May 1999 18:03:56 +0200 | |
changeset 6580 | ff2c3ffd38ee |
child 6581 | 27d6e5d6a4a6 |
permissions | -rw-r--r-- |
wenzelm@6580 | 1 |
# $Id$ |
wenzelm@6580 | 2 |
######################################################################### |
wenzelm@6580 | 3 |
# # |
wenzelm@6580 | 4 |
# Makefile for the report "Isabelle's Logics: HOL" # |
wenzelm@6580 | 5 |
# # |
wenzelm@6580 | 6 |
######################################################################### |
wenzelm@6580 | 7 |
|
wenzelm@6580 | 8 |
|
wenzelm@6580 | 9 |
FILES = logics-HOL.tex ../Logics/syntax.tex FOL.tex HOL.tex\ |
wenzelm@6580 | 10 |
../rail.sty ../proof.sty ../iman.sty ../extra.sty |
wenzelm@6580 | 11 |
|
wenzelm@6580 | 12 |
logics-HOL.dvi.gz: $(FILES) |
wenzelm@6580 | 13 |
test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps . |
wenzelm@6580 | 14 |
-rm logics-HOL.dvi* |
wenzelm@6580 | 15 |
latex logics-HOL |
wenzelm@6580 | 16 |
rail logics-HOL |
wenzelm@6580 | 17 |
bibtex logics-HOL |
wenzelm@6580 | 18 |
latex logics-HOL |
wenzelm@6580 | 19 |
latex logics-HOL |
wenzelm@6580 | 20 |
../sedindex logics-HOL |
wenzelm@6580 | 21 |
latex logics-HOL |
wenzelm@6580 | 22 |
gzip -f logics-HOL.dvi |
wenzelm@6580 | 23 |
|
wenzelm@6580 | 24 |
dist: $(FILES) |
wenzelm@6580 | 25 |
test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps . |
wenzelm@6580 | 26 |
-rm logics-HOL.dvi* |
wenzelm@6580 | 27 |
latex logics-HOL |
wenzelm@6580 | 28 |
latex logics-HOL |
wenzelm@6580 | 29 |
../sedindex logics-HOL |
wenzelm@6580 | 30 |
latex logics-HOL |
wenzelm@6580 | 31 |
|
wenzelm@6580 | 32 |
clean: |
wenzelm@6580 | 33 |
@rm *.aux *.log *.toc *.idx *.rai |
wenzelm@6580 | 34 |