equal
deleted
inserted
replaced
|
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\ |
|
11 simplifier.tex classical.tex\ |
|
12 ../iman.sty ../extra.sty |
|
13 |
|
14 ref.dvi.gz: $(FILES) |
|
15 latex209 ref |
|
16 bibtex ref |
|
17 latex209 ref |
|
18 latex209 ref |
|
19 ../sedindex ref |
|
20 latex209 ref |
|
21 gzip -f ref.dvi |