equal
deleted
inserted
replaced
1 |
|
2 ## targets |
|
3 |
|
4 default: dvi |
|
5 |
|
6 |
|
7 ## dependencies |
|
8 |
|
9 include ../Makefile.in |
|
10 |
|
11 NAME = locales |
|
12 |
|
13 FILES = Locales/document/root.tex Locales/document/root.bib \ |
|
14 Locales/document/session.tex Locales/document/Examples.tex \ |
|
15 Locales/document/Examples1.tex Locales/document/Examples2.tex \ |
|
16 Locales/document/Examples3.tex \ |
|
17 ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty |
|
18 |
|
19 dvi: $(NAME).dvi |
|
20 |
|
21 $(NAME).dvi: $(FILES) |
|
22 cd Locales/document && \ |
|
23 $(LATEX) root && \ |
|
24 $(BIBTEX) root && \ |
|
25 $(LATEX) root && \ |
|
26 $(LATEX) root && \ |
|
27 $(LATEX) root |
|
28 mv Locales/document/root.dvi $(NAME).dvi |
|
29 |
|
30 pdf: $(NAME).pdf |
|
31 |
|
32 $(NAME).pdf: $(FILES) |
|
33 cd Locales/document && \ |
|
34 $(PDFLATEX) root && \ |
|
35 $(BIBTEX) root && \ |
|
36 $(PDFLATEX) root && \ |
|
37 $(PDFLATEX) root && \ |
|
38 $(PDFLATEX) root |
|
39 mv Locales/document/root.pdf $(NAME).pdf |
|