X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=doc%2FMakefile;h=9c68dad8aad4b944f9445c28f0337648d4c5aa7d;hb=283435d6a6516c9e4fd2f8c5d681fa0681c4740c;hp=a63b692b5cfca77a5985942753c7e4b61d92ea6e;hpb=e4ef45f0b7454a8df22d4e80406f2448cd5757fc;p=mp-xquery-moved-to-github.git

diff --git a/doc/Makefile b/doc/Makefile
index a63b692..9c68dad 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -4,25 +4,33 @@
 
 prefix = /usr
 
+VERSION=$(shell . ../IDMETA; echo $$VERSION)
+
 XSLTPROC_COMPILE = xsltproc --xinclude -path "."
-HTML_COMPILE = $(XSLTPROC_COMPILE) id.htmlhelp.xsl
-MAN_COMPILE = $(XSLTPROC_COMPILE) id.man.xsl
+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
 MANFILES=xquery.3mp
 
 XMLFILES=book.xml manref.xml
 
-all: $(MANFILES)
+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: