equal
deleted
inserted
replaced
|
1 # |
|
2 # $Id$ |
|
3 # |
|
4 |
|
5 ## targets |
|
6 |
|
7 default: dvi |
|
8 |
|
9 |
|
10 ## dependencies |
|
11 |
|
12 include ../Makefile.in |
|
13 |
|
14 NAME = isar-ref |
|
15 |
|
16 FILES = isar-ref.tex intro.tex basics.tex syntax.tex pure.tex \ |
|
17 simplifier.tex classical.tex hol.tex \ |
|
18 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib |
|
19 |
|
20 dvi: $(NAME).dvi |
|
21 |
|
22 $(NAME).dvi: $(FILES) isabelle_isar.eps |
|
23 touch $(NAME).ind |
|
24 $(LATEX) $(NAME) |
|
25 $(RAIL) $(NAME) |
|
26 $(BIBTEX) $(NAME) |
|
27 $(LATEX) $(NAME) |
|
28 $(LATEX) $(NAME) |
|
29 $(SEDINDEX) $(NAME) |
|
30 $(LATEX) $(NAME) |
|
31 |
|
32 pdf: $(NAME).pdf |
|
33 |
|
34 $(NAME).pdf: $(FILES) isabelle_isar.pdf |
|
35 touch $(NAME).ind |
|
36 $(PDFLATEX) $(NAME) |
|
37 $(RAIL) $(NAME) |
|
38 $(BIBTEX) $(NAME) |
|
39 $(PDFLATEX) $(NAME) |
|
40 $(PDFLATEX) $(NAME) |
|
41 $(SEDINDEX) $(NAME) |
|
42 $(FIXBOOKMARKS) $(NAME).out |
|
43 $(PDFLATEX) $(NAME) |