# HG changeset patch
# User lost@l-w.ca
# Date 1295743342 25200
# Node ID 06c4a2b72b24785b11bc14c2185f44a3b0c41984
# Parent  8eddaa2ab6c088eb6e89b78d05df38458fa07cd9
Adjusted PDF manual build to remove extraneous .html file that is currently produced by docbook2pdf

diff -r 8eddaa2ab6c0 -r 06c4a2b72b24 docs/rules.make
--- a/docs/rules.make	Sat Jan 22 17:41:55 2011 -0700
+++ b/docs/rules.make	Sat Jan 22 17:42:22 2011 -0700
@@ -13,10 +13,10 @@
 manual-pdf: $(dirname)/manual/manual.pdf
 
 $(dirname)/manual/manual.html: $(dirname)/manual.docbook.sgml
-	docbook2html -u $(dirname)/manual.docbook.sgml && mv manual.docbook.html $(dirname)/manual/manual.html
+	docbook2html -o $(dirname) -u $(dirname)/manual.docbook.sgml && mv $(dirname)/manual.docbook.html $(dirname)/manual/manual.html
 
 $(dirname)/manual/index.html: $(dirname)/manual.docbook.sgml
 	docbook2html -o $(dirname)/manual $(dirname)manual.docbook.sgml
 
 $(dirname)/manual/manual.pdf: $(dirname)/manual.docbook.sgml
-	docbook2pdf -u $(dirname)manual.docbook.sgml && mv manual.docbook.pdf $(dirname)/manual/manual.pdf
+	docbook2pdf -o $(dirname) -u $(dirname)manual.docbook.sgml && mv $(dirname)/manual.docbook.pdf $(dirname)/manual/manual.pdf && rm -f $(dirname)/manual.docbook.html