equal
deleted
inserted
replaced
|
1 # $Id$ |
|
2 ######################################################################### |
|
3 # # |
|
4 # Makefile for the report "The Isabelle System Manual" # |
|
5 # # |
|
6 ######################################################################### |
|
7 |
|
8 |
|
9 FILES = system.tex \ |
|
10 ../iman.sty ../extra.sty |
|
11 |
|
12 system.dvi.gz: $(FILES) |
|
13 -rm system.dvi* |
|
14 latex system |
|
15 rail system |
|
16 bibtex system |
|
17 latex system |
|
18 latex system |
|
19 ../sedindex system |
|
20 latex system |
|
21 gzip -f system.dvi |
|
22 |
|
23 dist: $(FILES) |
|
24 -rm system.dvi* |
|
25 latex system |
|
26 latex system |
|
27 ../sedindex system |
|
28 latex system |
|
29 |
|
30 clean: |
|
31 @rm *.aux *.log *.toc *.idx |