X-Git-Url: http://git.indexdata.com/?p=mp-xquery-moved-to-github.git;a=blobdiff_plain;f=doc%2FMakefile;h=9c68dad8aad4b944f9445c28f0337648d4c5aa7d;hp=18f3b8a40ff2227a33fd0a209786a954662e798e;hb=52dfb95535ec053527b1e82fd81bda4ea46c9771;hpb=c629ae1517314b4e4aa1489ceb4bf74d2c5be835

diff --git a/doc/Makefile b/doc/Makefile
index 18f3b8a..9c68dad 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,6 +26,11 @@ 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) $<