author | Walther Neuper <neuper@ist.tugraz.at> |
Thu, 12 Aug 2010 15:03:34 +0200 | |
branch | isac-from-Isabelle2009-2 |
changeset 37913 | 20e3616b2d9c |
parent 26911 | 871cc7f11034 |
child 43382 | bf89455ccf9d |
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 ../isabelle.sty ../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