doc-src/LaTeXsugar/Makefile
author wenzelm
Sat Nov 15 21:31:13 2008 +0100 (2008-11-15)
changeset 28797 9dcd32ee5dbe
parent 26911 871cc7f11034
child 42511 bf89455ccf9d
permissions -rw-r--r--
rewrite_proof: simplified simprocs (no name required);
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