equal
deleted
inserted
replaced
1 ## targets |
|
2 |
|
3 default: dvi |
|
4 |
|
5 |
|
6 ## dependencies |
|
7 |
|
8 include ../Makefile.in |
|
9 |
|
10 NAME = system |
|
11 FILES = system.tex Thy/document/Basics.tex Thy/document/Misc.tex \ |
|
12 Thy/document/Presentation.tex ../iman.sty ../extra.sty \ |
|
13 ../ttbox.sty ../manual.bib |
|
14 |
|
15 dvi: $(NAME).dvi |
|
16 |
|
17 $(NAME).dvi: $(FILES) isabelle.eps |
|
18 $(LATEX) $(NAME) |
|
19 $(BIBTEX) $(NAME) |
|
20 $(LATEX) $(NAME) |
|
21 $(LATEX) $(NAME) |
|
22 $(SEDINDEX) $(NAME) |
|
23 $(LATEX) $(NAME) |
|
24 |
|
25 pdf: $(NAME).pdf |
|
26 |
|
27 $(NAME).pdf: $(FILES) isabelle.pdf |
|
28 $(PDFLATEX) $(NAME) |
|
29 $(BIBTEX) $(NAME) |
|
30 $(PDFLATEX) $(NAME) |
|
31 $(PDFLATEX) $(NAME) |
|
32 $(SEDINDEX) $(NAME) |
|
33 $(PDFLATEX) $(NAME) |
|