|
5376
|
1 |
# $Id$
|
|
|
2 |
#########################################################################
|
|
|
3 |
# #
|
|
|
4 |
# Makefile for the report "Isabelle/HOL. The Tutorial" #
|
|
|
5 |
# #
|
|
|
6 |
#########################################################################
|
|
|
7 |
|
|
|
8 |
|
|
|
9 |
FILES = tutorial.tex basics.tex fp.tex appendix.tex \
|
|
|
10 |
../iman.sty ttbox.sty extra.sty
|
|
|
11 |
|
|
|
12 |
tutorial.ps.gz: $(FILES)
|
|
|
13 |
isatool make
|
|
5548
|
14 |
test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
|
|
5376
|
15 |
-rm tutorial.dvi*
|
|
|
16 |
latex tutorial
|
|
|
17 |
bibtex tutorial
|
|
|
18 |
latex tutorial
|
|
|
19 |
latex tutorial
|
|
|
20 |
../sedindex tutorial
|
|
|
21 |
latex tutorial
|
|
|
22 |
dvips tutorial.dvi -o tutorial.ps
|
|
|
23 |
gzip tutorial.ps
|
|
|
24 |
|
|
|
25 |
dist: $(FILES)
|
|
5548
|
26 |
test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
|
|
5376
|
27 |
-rm tutorial.dvi*
|
|
|
28 |
latex tutorial
|
|
|
29 |
latex tutorial
|
|
|
30 |
../sedindex tutorial
|
|
|
31 |
latex tutorial
|
|
|
32 |
|
|
|
33 |
clean:
|
|
|
34 |
@rm *.aux *.log *.toc *.idx
|