equal
deleted
inserted
replaced
1 ## targets |
|
2 |
|
3 default: dvi |
|
4 |
|
5 |
|
6 ## dependencies |
|
7 |
|
8 include ../Makefile.in |
|
9 |
|
10 NAME = isar-ref |
|
11 |
|
12 FILES = isar-ref.tex style.sty Thy/document/Framework.tex \ |
|
13 Thy/document/Generic.tex Thy/document/HOL_Specific.tex \ |
|
14 Thy/document/ML_Tactic.tex Thy/document/Proof.tex \ |
|
15 Thy/document/Quick_Reference.tex Thy/document/Spec.tex \ |
|
16 Thy/document/Synopsis.tex Thy/document/Inner_Syntax.tex \ |
|
17 Thy/document/Preface.tex Thy/document/Document_Preparation.tex \ |
|
18 Thy/document/Misc.tex Thy/document/Outer_Syntax.tex \ |
|
19 Thy/document/Symbols.tex ../isar.sty ../proof.sty ../iman.sty \ |
|
20 ../extra.sty ../ttbox.sty ../../lib/texinputs/isabelle.sty \ |
|
21 ../../lib/texinputs/isabellesym.sty \ |
|
22 ../../lib/texinputs/railsetup.sty ../pdfsetup.sty ../manual.bib |
|
23 |
|
24 OUTPUT = syms.tex |
|
25 |
|
26 syms.tex: showsymbols ../../lib/texinputs/isabellesym.sty |
|
27 @./showsymbols <../../lib/texinputs/isabellesym.sty >syms.tex |
|
28 |
|
29 |
|
30 dvi: $(NAME).dvi |
|
31 |
|
32 $(NAME).dvi: $(FILES) isabelle_isar.eps syms.tex |
|
33 $(LATEX) $(NAME) |
|
34 $(BIBTEX) $(NAME) |
|
35 $(LATEX) $(NAME) |
|
36 $(LATEX) $(NAME) |
|
37 $(SEDINDEX) $(NAME) |
|
38 $(LATEX) $(NAME) |
|
39 |
|
40 pdf: $(NAME).pdf |
|
41 |
|
42 $(NAME).pdf: $(FILES) isabelle_isar.pdf syms.tex |
|
43 $(PDFLATEX) $(NAME) |
|
44 $(BIBTEX) $(NAME) |
|
45 $(PDFLATEX) $(NAME) |
|
46 $(PDFLATEX) $(NAME) |
|
47 $(SEDINDEX) $(NAME) |
|
48 $(FIXBOOKMARKS) $(NAME).out |
|
49 $(PDFLATEX) $(NAME) |
|