X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=doc%2FMakefile;h=d3196612abfba67c266546ad4391ef78dd01cebd;hb=c2fa79dbb731508e341554799eb12f0ee0b3183f;hp=18f3b8a40ff2227a33fd0a209786a954662e798e;hpb=5351ee1f34c25d57cab28a72c75dc29d96286d15;p=mp-xquery-moved-to-github.git

diff --git a/doc/Makefile b/doc/Makefile
index 18f3b8a..d319661 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -7,6 +7,7 @@ prefix = /usr
 VERSION=$(shell . ../IDMETA; echo $$VERSION)
 
 XSLTPROC_COMPILE = xsltproc --xinclude -path "."
+PDF_COMPILE = dblatex -P latex.class.options=a4paper,12pt,twoside,openright
 HTML_COMPILE = $(XSLTPROC_COMPILE) common/id.htmlhelp.xsl
 MAN_COMPILE = $(XSLTPROC_COMPILE) common/id.man.xsl
 REFFILES = xquery.xml
@@ -25,11 +26,16 @@ manref.xml: $(REFFILES) local.ent
 		xsltproc stripref.xsl $$i | sed 1d >>manref.xml; \
         done
 
+mp-xquery.pdf: $(XMLFILES) local.ent
+	rm -f mp-xquery.pdf
+	$(PDF_COMPILE) book.xml
+	mv book.pdf mp-xquery.pdf
+
 .xml.3mp:
 	$(MAN_COMPILE) $<
 
 clean:
-	rm -f *.html *.pdf manref.xml *.hhp *.hhc $(MANFILES)
+	rm -f local.ent *.html *.pdf manref.xml *.hhp *.hhc $(MANFILES)
 
 distclean: clean