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

diff --git a/doc/Makefile b/doc/Makefile
index 58eceff..9c68dad 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -4,7 +4,10 @@
 
 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
@@ -14,15 +17,20 @@ XMLFILES=book.xml manref.xml
 
 all: index.html $(MANFILES)
 
-index.html: $(XMLFILES)
+index.html: $(XMLFILES) local.ent
 	$(HTML_COMPILE) book.xml
 
-manref.xml: $(REFFILES)
+manref.xml: $(REFFILES) local.ent
 	rm -f manref.xml
 	for i in $(REFFILES); do \
 		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) $<
 
@@ -31,6 +39,9 @@ clean:
 
 distclean: clean
 
+local.ent: local.ent.in 
+	sed "s/@VERSION@/$(VERSION)/" <local.ent.in >local.ent
+
 check: all
 
 install: