author | wenzelm |
Mon, 27 Jul 2009 20:45:40 +0200 | |
changeset 32231 | 95b8afcbb0ed |
parent 26911 | 871cc7f11034 |
child 42511 | bf89455ccf9d |
permissions | -rw-r--r-- |
15728
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
1 |
# |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
2 |
# $Id$ |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
3 |
# |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
4 |
|
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
5 |
## targets |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
6 |
|
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
7 |
default: dvi |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
8 |
|
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
9 |
## paths |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
10 |
|
15894
41f9c0902db1
move generated files to document/ to avoid CVS file overwrite in generated/
kleing
parents:
15730
diff
changeset
|
11 |
SRCPATH = Sugar/document |
15728
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
12 |
|
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
13 |
## dependencies |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
14 |
|
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
15 |
include ../Makefile.in |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
16 |
|
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
17 |
NAME = sugar |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
18 |
|
15894
41f9c0902db1
move generated files to document/ to avoid CVS file overwrite in generated/
kleing
parents:
15730
diff
changeset
|
19 |
FILES = Sugar/document/root.tex Sugar/document/root.bib \ |
16395 | 20 |
Sugar/document/mathpartir.sty Sugar/document/LaTeXsugar.tex \ |
26911 | 21 |
Sugar/document/OptionalSugar.tex Sugar/document/Sugar.tex \ |
22 |
../isabelle.sty ../isabellesym.sty ../pdfsetup.sty |
|
15728
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
23 |
|
15894
41f9c0902db1
move generated files to document/ to avoid CVS file overwrite in generated/
kleing
parents:
15730
diff
changeset
|
24 |
GARBAGE = Sugar/document/*.aux Sugar/document/*.log Sugar/document/*.toc \ |
41f9c0902db1
move generated files to document/ to avoid CVS file overwrite in generated/
kleing
parents:
15730
diff
changeset
|
25 |
Sugar/document/*.idx Sugar/document/*.bbl Sugar/document/*.blg \ |
41f9c0902db1
move generated files to document/ to avoid CVS file overwrite in generated/
kleing
parents:
15730
diff
changeset
|
26 |
Sugar/document/*.out |
15730 | 27 |
|
15728
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
28 |
dvi: $(NAME).dvi |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
29 |
|
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
30 |
$(NAME).dvi: $(FILES) |
15894
41f9c0902db1
move generated files to document/ to avoid CVS file overwrite in generated/
kleing
parents:
15730
diff
changeset
|
31 |
cd Sugar/document; \ |
15728
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
32 |
$(LATEX) root; \ |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
33 |
$(BIBTEX) root; \ |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
34 |
$(LATEX) root; \ |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
35 |
$(LATEX) root |
15894
41f9c0902db1
move generated files to document/ to avoid CVS file overwrite in generated/
kleing
parents:
15730
diff
changeset
|
36 |
mv $(SRCPATH)/root.dvi $(NAME).dvi |
15728
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
37 |
|
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
38 |
pdf: $(NAME).pdf |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
39 |
|
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
40 |
$(NAME).pdf: $(FILES) |
15894
41f9c0902db1
move generated files to document/ to avoid CVS file overwrite in generated/
kleing
parents:
15730
diff
changeset
|
41 |
cd Sugar/document; \ |
15728
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
42 |
$(PDFLATEX) root; \ |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
43 |
$(BIBTEX) root; \ |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
44 |
$(PDFLATEX) root; \ |
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
45 |
$(PDFLATEX) root |
15894
41f9c0902db1
move generated files to document/ to avoid CVS file overwrite in generated/
kleing
parents:
15730
diff
changeset
|
46 |
mv $(SRCPATH)/root.pdf $(NAME).pdf |
15728
a6a74062ffb0
added Makefile and generated files to make document available for makedist
kleing
parents:
diff
changeset
|
47 |