# HG changeset patch
# User lost@l-w.ca
# Date 1314666995 21600
# Node ID eb7d220465fb7c649c470079f683d52669ea00f6
# Parent  1e0a0e6cd918d5fbb5d6d7c765b2b1426fa1b3c2
Added convenience makefile for generating docs

diff -r 1e0a0e6cd918 -r eb7d220465fb docs/Makefile
--- /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/*