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-- |
kleing@15728 | 1 |
# |
kleing@15728 | 2 |
# $Id$ |
kleing@15728 | 3 |
# |
kleing@15728 | 4 |
|
kleing@15728 | 5 |
## targets |
kleing@15728 | 6 |
|
kleing@15728 | 7 |
default: dvi |
kleing@15728 | 8 |
|
kleing@15728 | 9 |
## paths |
kleing@15728 | 10 |
|
kleing@15894 | 11 |
SRCPATH = Sugar/document |
kleing@15728 | 12 |
|
kleing@15728 | 13 |
## dependencies |
kleing@15728 | 14 |
|
kleing@15728 | 15 |
include ../Makefile.in |
kleing@15728 | 16 |
|
kleing@15728 | 17 |
NAME = sugar |
kleing@15728 | 18 |
|
kleing@15894 | 19 |
FILES = Sugar/document/root.tex Sugar/document/root.bib \ |
nipkow@16395 | 20 |
Sugar/document/mathpartir.sty Sugar/document/LaTeXsugar.tex \ |
wenzelm@26911 | 21 |
Sugar/document/OptionalSugar.tex Sugar/document/Sugar.tex \ |
wenzelm@26911 | 22 |
../isabelle.sty ../isabellesym.sty ../pdfsetup.sty |
kleing@15728 | 23 |
|
kleing@15894 | 24 |
GARBAGE = Sugar/document/*.aux Sugar/document/*.log Sugar/document/*.toc \ |
kleing@15894 | 25 |
Sugar/document/*.idx Sugar/document/*.bbl Sugar/document/*.blg \ |
kleing@15894 | 26 |
Sugar/document/*.out |
kleing@15730 | 27 |
|
kleing@15728 | 28 |
dvi: $(NAME).dvi |
kleing@15728 | 29 |
|
kleing@15728 | 30 |
$(NAME).dvi: $(FILES) |
kleing@15894 | 31 |
cd Sugar/document; \ |
kleing@15728 | 32 |
$(LATEX) root; \ |
kleing@15728 | 33 |
$(BIBTEX) root; \ |
kleing@15728 | 34 |
$(LATEX) root; \ |
kleing@15728 | 35 |
$(LATEX) root |
kleing@15894 | 36 |
mv $(SRCPATH)/root.dvi $(NAME).dvi |
kleing@15728 | 37 |
|
kleing@15728 | 38 |
pdf: $(NAME).pdf |
kleing@15728 | 39 |
|
kleing@15728 | 40 |
$(NAME).pdf: $(FILES) |
kleing@15894 | 41 |
cd Sugar/document; \ |
kleing@15728 | 42 |
$(PDFLATEX) root; \ |
kleing@15728 | 43 |
$(BIBTEX) root; \ |
kleing@15728 | 44 |
$(PDFLATEX) root; \ |
kleing@15728 | 45 |
$(PDFLATEX) root |
kleing@15894 | 46 |
mv $(SRCPATH)/root.pdf $(NAME).pdf |
kleing@15728 | 47 |