| author | wenzelm |
| Mon, 12 May 1997 17:15:36 +0200 | |
| changeset 3164 | ddb0b1fdfdea |
| parent 3098 | a31170b67367 |
| child 5170 | 33fbffd06c12 |
| permissions | -rw-r--r-- |
| lcp@604 | 1 |
# $Id$ |
| lcp@604 | 2 |
######################################################################### |
| lcp@604 | 3 |
# # |
| lcp@604 | 4 |
# Makefile for the report "The Isabelle Reference Manual" # |
| lcp@604 | 5 |
# # |
| lcp@604 | 6 |
######################################################################### |
| lcp@604 | 7 |
|
| lcp@604 | 8 |
|
| lcp@604 | 9 |
FILES = ref.tex introduction.tex goals.tex tactic.tex tctical.tex\ |
| lcp@604 | 10 |
thm.tex theories.tex defining.tex syntax.tex substitution.tex\ |
| lcp@1111 | 11 |
simplifier.tex classical.tex theory-syntax.tex\ |
| berghofe@3098 | 12 |
../rail.sty ../proof.sty ../iman.sty ../extra.sty |
| lcp@604 | 13 |
|
| lcp@604 | 14 |
ref.dvi.gz: $(FILES) |
| wenzelm@2657 | 15 |
-rm ref.dvi* |
| berghofe@3098 | 16 |
latex ref |
| lcp@1111 | 17 |
rail ref |
| lcp@604 | 18 |
bibtex ref |
| berghofe@3098 | 19 |
latex ref |
| berghofe@3098 | 20 |
latex ref |
| lcp@604 | 21 |
../sedindex ref |
| berghofe@3098 | 22 |
latex ref |
| lcp@604 | 23 |
gzip -f ref.dvi |
| wenzelm@2657 | 24 |
|
| wenzelm@2657 | 25 |
dist: $(FILES) |
| wenzelm@2657 | 26 |
-rm ref.dvi* |
| berghofe@3098 | 27 |
latex ref |
| berghofe@3098 | 28 |
latex ref |
| wenzelm@2657 | 29 |
../sedindex ref |
| berghofe@3098 | 30 |
latex ref |
| wenzelm@3164 | 31 |
|
| wenzelm@3164 | 32 |
clean: |
| wenzelm@3164 | 33 |
@rm *.aux *.log *.toc *.idx *.rai |