| author | wenzelm |
| Tue, 04 May 1999 18:04:45 +0200 | |
| changeset 6581 | 27d6e5d6a4a6 |
| parent 6580 | ff2c3ffd38ee |
| child 6594 | fe2f5024f89e |
| 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@6581 | 9 |
FILES = logics-HOL.tex ../Logics/syntax.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 |