diff doc/Makefile @ 524:a6159d0940f0

Start of manual
author Adam Chlipala <adamc@hcoop.net>
date Thu, 27 Nov 2008 14:38:53 -0500
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/Makefile	Thu Nov 27 14:38:53 2008 -0500
@@ -0,0 +1,23 @@
+PAPERS=manual
+
+FIGURES=
+
+all: $(PAPERS:%=%.dvi) $(PAPERS:%=%.ps) $(PAPERS:%=%.pdf) 
+
+%.dvi: %.tex $(FIGURES:%=%.eps)
+	latex $<
+	latex $<
+
+%.ps: %.dvi
+	dvips $< -o $@
+
+%.pdf: %.dvi $(FIGURES:%=%.pdf)
+	pdflatex $(<:%.dvi=%)
+
+%.pdf: %.eps
+	epstopdf $<
+
+clean:
+	rm -f *.aux *.bbl *.blg *.dvi *.log *.pdf *.ps
+
+.PHONY: all clean