equal
deleted
inserted
replaced
4 |
4 |
5 ## targets |
5 ## targets |
6 |
6 |
7 default: dvi |
7 default: dvi |
8 |
8 |
9 ## paths |
|
10 |
|
11 TEXPATH = Locales/document/: |
|
12 |
9 |
13 ## dependencies |
10 ## dependencies |
14 |
11 |
15 include ../Makefile.in |
12 include ../Makefile.in |
16 |
13 |
23 ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty |
20 ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty |
24 |
21 |
25 dvi: $(NAME).dvi |
22 dvi: $(NAME).dvi |
26 |
23 |
27 $(NAME).dvi: $(FILES) |
24 $(NAME).dvi: $(FILES) |
28 env TEXINPUTS=$(TEXPATH) $(LATEX) root |
25 cd Locales/document && \ |
29 env BIBINPUTS=$(TEXPATH) $(BIBTEX) root |
26 $(LATEX) root && \ |
30 env TEXINPUTS=$(TEXPATH) $(LATEX) root |
27 $(BIBTEX) root && \ |
31 env TEXINPUTS=$(TEXPATH) $(LATEX) root |
28 $(LATEX) root && \ |
32 env TEXINPUTS=$(TEXPATH) $(LATEX) root |
29 $(LATEX) root && \ |
33 mv root.dvi $(NAME).dvi |
30 $(LATEX) root |
|
31 mv Locales/document/root.dvi $(NAME).dvi |
34 |
32 |
35 pdf: $(NAME).pdf |
33 pdf: $(NAME).pdf |
36 |
34 |
37 $(NAME).pdf: $(FILES) |
35 $(NAME).pdf: $(FILES) |
38 env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root |
36 cd Locales/document && \ |
39 env BIBINPUTS=$(TEXPATH) $(BIBTEX) root |
37 $(PDFLATEX) root && \ |
40 env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root |
38 $(BIBTEX) root && \ |
41 env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root |
39 $(PDFLATEX) root && \ |
42 env TEXINPUTS=$(TEXPATH) $(PDFLATEX) root |
40 $(PDFLATEX) root && \ |
43 mv root.pdf $(NAME).pdf |
41 $(PDFLATEX) root |
|
42 mv Locales/document/root.pdf $(NAME).pdf |