| author | Walther Neuper <neuper@ist.tugraz.at> |
| Thu, 12 Aug 2010 15:03:34 +0200 | |
| branch | isac-from-Isabelle2009-2 |
| changeset 37913 | 20e3616b2d9c |
| parent 27076 | e104481d289d |
| child 43382 | bf89455ccf9d |
| permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
10 ## dependencies
12 include ../Makefile.in
14 NAME = locales
16 FILES = Locales/document/root.tex Locales/document/root.bib \
17 Locales/document/session.tex Locales/document/Examples.tex \
18 Locales/document/Examples1.tex Locales/document/Examples2.tex \
19 Locales/document/Examples3.tex \
20 ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty
22 dvi: $(NAME).dvi
24 $(NAME).dvi: $(FILES)
25 cd Locales/document && \
26 $(LATEX) root && \
27 $(BIBTEX) root && \
28 $(LATEX) root && \
29 $(LATEX) root && \
30 $(LATEX) root
31 mv Locales/document/root.dvi $(NAME).dvi
33 pdf: $(NAME).pdf
35 $(NAME).pdf: $(FILES)
36 cd Locales/document && \
37 $(PDFLATEX) root && \
38 $(BIBTEX) root && \
39 $(PDFLATEX) root && \
40 $(PDFLATEX) root && \
41 $(PDFLATEX) root
42 mv Locales/document/root.pdf $(NAME).pdf