diff mk/doc.mk @ 15:c4ee36b629c0

Build bits for docs, and a starting placeholder doc.
author David A. Holland
date Mon, 03 Sep 2012 13:55:42 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mk/doc.mk	Mon Sep 03 13:55:42 2012 -0400
@@ -0,0 +1,19 @@
+all: $(DOC).pdf
+
+$(DOC).pdf: $(DOC).tex
+	pdflatex $(DOC).tex
+
+depend:;
+
+install:
+	$(INSTALL) -c -m644 $(DOC).pdf $(DESTDIR)$(PREFIX)/$(DOCDIR)/$(DOC).pdf
+
+clean distclean:
+	rm -f *.aux *.log
+
+# The PDF is shipped with the release, so don't delete it except by
+# explicit request.
+tooclean:
+	rm -f $(DOC).pdf
+
+.PHONY: all depend install clean distclean tooclean