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