From 85a682b4a65a76e2f5a120b28faf7093f4a766a9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 27 Nov 2008 14:38:53 -0500
Subject: Start of manual

---
 doc/Makefile | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 doc/Makefile

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644
index 00000000..777c5bf7
--- /dev/null
+++ b/doc/Makefile
@@ -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
-- 
cgit v1.2.3