diff docs/Makefile @ 169:eb7d220465fb

Added convenience makefile for generating docs
author lost@l-w.ca
date Mon, 29 Aug 2011 19:16:35 -0600
parents
children 372d7c881831
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/Makefile	Mon Aug 29 19:16:35 2011 -0600
@@ -0,0 +1,7 @@
+all:
+	hg rm manual/*
+	rm manual/*.pdf manual/*.html
+	docbook2html -o manual manual.docbook.sgml
+	docbook2html -u manual.docbook.sgml && mv manual.docbook.html manual/manual.html
+	docbook2pdf -u manual.docbook.sgml && mv manual.docbook.pdf manual/manual.pdf
+	hg add manual/*