# HG changeset patch
# User William Astle <lost@l-w.ca>
# Date 1428936562 21600
# Node ID e4ad15af2e9394c0cd65537af1876f8051cced9d
# Parent  f0910d85f7db3a0deee0689947e79d78f9574563
Make the "hg" stuff in the docs/Makefile clearly maintainter related

Set the "all" target in docs/ to just rebuild the manual. Move the
maintainer related HG stuff to a separate target.

diff -r f0910d85f7db -r e4ad15af2e93 docs/Makefile
--- a/docs/Makefile	Mon Apr 13 08:46:17 2015 -0600
+++ b/docs/Makefile	Mon Apr 13 08:49:22 2015 -0600
@@ -1,8 +1,11 @@
 all:
-	hg rm manual/* || true
 	rm -f 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
 	rm -f manual.docbook.html
+
+maint:
+	hg rm manual/* || true
+	$(MAKE) all
 	hg add manual/*