author | wenzelm |
Thu, 20 Feb 1997 15:13:52 +0100 | |
changeset 2657 | 448bb82c4003 |
parent 1111 | ba34f9764816 |
child 2659 | f50eb863599e |
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\ |
wenzelm@2657 | 12 |
../proof209.sty ../iman.sty ../extra.sty |
lcp@604 | 13 |
|
lcp@604 | 14 |
ref.dvi.gz: $(FILES) |
wenzelm@2657 | 15 |
-rm ref.dvi* |
lcp@604 | 16 |
latex209 ref |
lcp@1111 | 17 |
rail ref |
lcp@604 | 18 |
bibtex ref |
lcp@604 | 19 |
latex209 ref |
lcp@604 | 20 |
latex209 ref |
lcp@604 | 21 |
../sedindex ref |
lcp@604 | 22 |
latex209 ref |
lcp@604 | 23 |
gzip -f ref.dvi |
wenzelm@2657 | 24 |
|
wenzelm@2657 | 25 |
dist: $(FILES) |
wenzelm@2657 | 26 |
-rm ref.dvi* |
wenzelm@2657 | 27 |
latex209 ref |
wenzelm@2657 | 28 |
latex209 ref |
wenzelm@2657 | 29 |
../sedindex ref |
wenzelm@2657 | 30 |
latex209 ref |