author | wenzelm |
Sun, 01 May 2011 16:36:34 +0200 | |
changeset 43382 | bf89455ccf9d |
parent 26911 | 871cc7f11034 |
child 43508 | 381fdcab0f36 |
permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
9 ## paths
11 SRCPATH = Sugar/document
13 ## dependencies
15 include ../Makefile.in
17 NAME = sugar
19 FILES = Sugar/document/root.tex Sugar/document/root.bib \
20 Sugar/document/mathpartir.sty Sugar/document/LaTeXsugar.tex \
21 Sugar/document/OptionalSugar.tex Sugar/document/Sugar.tex \
22 ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty
24 GARBAGE = Sugar/document/*.aux Sugar/document/*.log Sugar/document/*.toc \
25 Sugar/document/*.idx Sugar/document/*.bbl Sugar/document/*.blg \
26 Sugar/document/*.out
28 dvi: $(NAME).dvi
30 $(NAME).dvi: $(FILES)
31 cd Sugar/document; \
32 $(LATEX) root; \
33 $(BIBTEX) root; \
34 $(LATEX) root; \
35 $(LATEX) root
36 mv $(SRCPATH)/root.dvi $(NAME).dvi
38 pdf: $(NAME).pdf
40 $(NAME).pdf: $(FILES)
41 cd Sugar/document; \
42 $(PDFLATEX) root; \
43 $(BIBTEX) root; \
44 $(PDFLATEX) root; \
45 $(PDFLATEX) root
46 mv $(SRCPATH)/root.pdf $(NAME).pdf