Improved doc generation.

[stg.git] / doc / help / Makefile

diff --git a/doc/help/Makefile b/doc/help/Makefile
index 47cf0407a61a04d961e75f9d47bb389ce40809c8..72c3bef9c249a3dd976271978f8b506c95e6c1d0 100644 (file)
--- a/doc/help/Makefile
+++ b/doc/help/Makefile
@@ -1,5 +1,15 @@
-all:
+.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
 
        xsltproc -o book/ --xinclude ../xslt/html/chunk.xsl help.xml
 

+help.pdf: ch*.xml help.xml
+       dblatex -b xetex -I. help.xml
+

 clean:
 clean:

-       rm book/*html
+       rm -r book
+       rm help.pdf