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