Improved doc generation.

[stg.git] / doc / help / Makefile

diff --git a/doc/help/Makefile b/doc/help/Makefile
index 9302ff7f689213d79559c74336468c4c303a2887..72c3bef9c249a3dd976271978f8b506c95e6c1d0 100644 (file)
--- a/doc/help/Makefile
+++ b/doc/help/Makefile
@@ -1,5 +1,15 @@
-all:
-       xsltproc -o book/ --xinclude xslt/html/chunk.xsl help.xml
+.PHONY: all clean
+
+all: book/index.html help.pdf
+
+book/index.html: ch*.xml help.xml
+       mkdir -p book/images
+       cp images/*.png book/images/
+       xsltproc -o book/ --xinclude ../xslt/html/chunk.xsl help.xml
+
+help.pdf: ch*.xml help.xml
+       dblatex -b xetex -I. help.xml
 
 clean:
-       rm book/*html
+       rm -r book
+       rm help.pdf