doc-src/LaTeXsugar/Makefile
author kleing
Thu, 14 Apr 2005 08:52:46 +0200
changeset 15728 a6a74062ffb0
child 15730 6480cd74feb3
permissions -rw-r--r--
added Makefile and generated files to make document available for makedist
     1 #
     2 # $Id$
     3 #
     4 
     5 ## targets
     6 
     7 default: dvi
     8 
     9 ## paths
    10 
    11 SRCPATH = Sugar/generated
    12 
    13 ## dependencies
    14 
    15 include ../Makefile.in
    16 
    17 NAME = sugar
    18 
    19 FILES = Sugar/generated/root.tex Sugar/generated/root.bib \
    20 	      Sugar/generated/mathpartir.sty Sugar/generated/LaTeXsugar.tex \
    21         Sugar/generated/OptionalSugar.tex
    22 
    23 dvi: $(NAME).dvi
    24 
    25 $(NAME).dvi: $(FILES)
    26 	cd Sugar/generated; \
    27 	$(LATEX) root; \
    28 	$(BIBTEX) root; \
    29 	$(LATEX) root; \
    30 	$(LATEX) root
    31 	cp $(SRCPATH)/root.dvi $(NAME).dvi
    32 
    33 pdf: $(NAME).pdf
    34 
    35 $(NAME).pdf: $(FILES)
    36 	cd Sugar/generated; \
    37 	$(PDFLATEX) root; \
    38 	$(BIBTEX) root; \
    39 	$(PDFLATEX) root; \
    40 	$(PDFLATEX) root
    41 	cp $(SRCPATH)/root.pdf $(NAME).pdf
    42