| author | nipkow |
| Sun, 22 Feb 2009 17:25:28 +0100 | |
| changeset 30056 | 0a35bee25c20 |
| 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 |