doc-src/LaTeXsugar/Makefile
changeset 15728 a6a74062ffb0
child 15730 6480cd74feb3
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/LaTeXsugar/Makefile	Thu Apr 14 08:52:46 2005 +0200
@@ -0,0 +1,42 @@
+#
+# $Id$
+#
+
+## targets
+
+default: dvi
+
+## paths
+
+SRCPATH = Sugar/generated
+
+## dependencies
+
+include ../Makefile.in
+
+NAME = sugar
+
+FILES = Sugar/generated/root.tex Sugar/generated/root.bib \
+	      Sugar/generated/mathpartir.sty Sugar/generated/LaTeXsugar.tex \
+        Sugar/generated/OptionalSugar.tex
+
+dvi: $(NAME).dvi
+
+$(NAME).dvi: $(FILES)
+	cd Sugar/generated; \
+	$(LATEX) root; \
+	$(BIBTEX) root; \
+	$(LATEX) root; \
+	$(LATEX) root
+	cp $(SRCPATH)/root.dvi $(NAME).dvi
+
+pdf: $(NAME).pdf
+
+$(NAME).pdf: $(FILES)
+	cd Sugar/generated; \
+	$(PDFLATEX) root; \
+	$(BIBTEX) root; \
+	$(PDFLATEX) root; \
+	$(PDFLATEX) root
+	cp $(SRCPATH)/root.pdf $(NAME).pdf
+