equal
deleted
inserted
replaced
|
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 |
|
14 -ln -sf ../gfx/isabelle_hol.eps . |
|
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) |
|
26 -ln -sf ../gfx/isabelle_hol.eps . |
|
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 |