doc-src/LaTeXsugar/Makefile
author wenzelm
Mon, 27 Jul 2009 20:45:40 +0200
changeset 32231 95b8afcbb0ed
parent 26911 871cc7f11034
child 42511 bf89455ccf9d
permissions -rw-r--r--
moved METAHYPS to old_goals.ML (cf. SUBPROOF and FOCUS in subgoal.ML for properly localized versions of the same idea);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
3446d2b6a19f documented DUMMY
nipkow
parents: 15894
diff changeset
    20
        Sugar/document/mathpartir.sty Sugar/document/LaTeXsugar.tex \
26911
871cc7f11034 use Isabelle sty files from Doc/;
wenzelm
parents: 16395
diff changeset
    21
        Sugar/document/OptionalSugar.tex Sugar/document/Sugar.tex \
871cc7f11034 use Isabelle sty files from Doc/;
wenzelm
parents: 16395
diff changeset
    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
6480cd74feb3 fix: added path to garbage
kleing
parents: 15728
diff changeset
    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