doc-src/LaTeXsugar/Makefile
author haftmann
Tue Oct 10 13:59:12 2006 +0200 (2006-10-10)
changeset 20950 981fa0ce23ed
parent 16395 3446d2b6a19f
child 26911 871cc7f11034
permissions -rw-r--r--
added IsarAdvanced material
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 \
nipkow@16395
    21
        Sugar/document/OptionalSugar.tex Sugar/document/Sugar.tex
kleing@15728
    22
kleing@15894
    23
GARBAGE = Sugar/document/*.aux Sugar/document/*.log Sugar/document/*.toc \
kleing@15894
    24
          Sugar/document/*.idx Sugar/document/*.bbl Sugar/document/*.blg \
kleing@15894
    25
          Sugar/document/*.out
kleing@15730
    26
kleing@15728
    27
dvi: $(NAME).dvi
kleing@15728
    28
kleing@15728
    29
$(NAME).dvi: $(FILES)
kleing@15894
    30
	cd Sugar/document; \
kleing@15728
    31
	$(LATEX) root; \
kleing@15728
    32
	$(BIBTEX) root; \
kleing@15728
    33
	$(LATEX) root; \
kleing@15728
    34
	$(LATEX) root
kleing@15894
    35
	mv $(SRCPATH)/root.dvi $(NAME).dvi
kleing@15728
    36
kleing@15728
    37
pdf: $(NAME).pdf
kleing@15728
    38
kleing@15728
    39
$(NAME).pdf: $(FILES)
kleing@15894
    40
	cd Sugar/document; \
kleing@15728
    41
	$(PDFLATEX) root; \
kleing@15728
    42
	$(BIBTEX) root; \
kleing@15728
    43
	$(PDFLATEX) root; \
kleing@15728
    44
	$(PDFLATEX) root
kleing@15894
    45
	mv $(SRCPATH)/root.pdf $(NAME).pdf
kleing@15728
    46