|
604
|
1 |
# $Id$
|
|
|
2 |
#########################################################################
|
|
|
3 |
# #
|
|
|
4 |
# Makefile for the report "The Isabelle Reference Manual" #
|
|
|
5 |
# #
|
|
|
6 |
#########################################################################
|
|
|
7 |
|
|
|
8 |
|
|
|
9 |
FILES = ref.tex introduction.tex goals.tex tactic.tex tctical.tex\
|
|
|
10 |
thm.tex theories.tex defining.tex syntax.tex substitution.tex\
|
|
1111
|
11 |
simplifier.tex classical.tex theory-syntax.tex\
|
|
3098
|
12 |
../rail.sty ../proof.sty ../iman.sty ../extra.sty
|
|
604
|
13 |
|
|
|
14 |
ref.dvi.gz: $(FILES)
|
|
5548
|
15 |
test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
|
|
|
16 |
-rm ref.dvi*
|
|
3098
|
17 |
latex ref
|
|
1111
|
18 |
rail ref
|
|
604
|
19 |
bibtex ref
|
|
3098
|
20 |
latex ref
|
|
|
21 |
latex ref
|
|
604
|
22 |
../sedindex ref
|
|
3098
|
23 |
latex ref
|
|
604
|
24 |
gzip -f ref.dvi
|
|
2657
|
25 |
|
|
|
26 |
dist: $(FILES)
|
|
5548
|
27 |
test -f isabelle.eps || ln -s ../gfx/isabelle.eps .
|
|
5543
|
28 |
rm -f ref.dvi*
|
|
3098
|
29 |
latex ref
|
|
|
30 |
latex ref
|
|
2657
|
31 |
../sedindex ref
|
|
3098
|
32 |
latex ref
|
|
3164
|
33 |
|
|
|
34 |
clean:
|
|
|
35 |
@rm *.aux *.log *.toc *.idx *.rai
|