X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;ds=sidebyside;f=doc%2FMakefile;fp=doc%2FMakefile;h=697a7e8e23f48a1cde810e88e8b612d56ce02753;hb=7ecb962a06af8c29471aefcc65be1e2ef2dbc85e;hp=0000000000000000000000000000000000000000;hpb=b9f90637a6c007fd488f925be8dbfd144caee05b;p=mp-xquery-moved-to-github.git

diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644
index 0000000..697a7e8
--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,33 @@
+
+.PHONY: check all
+.SUFFIXES: .3mp .xml .1
+
+XSLTPROC_COMPILE = xsltproc --xinclude -path "."
+HTML_COMPILE = $(XSLTPROC_COMPILE) id.htmlhelp.xsl
+MAN_COMPILE = $(XSLTPROC_COMPILE) id.man.xsl
+REFFILES = xquery.xml
+MANFILES=xquery.3mp
+
+XMLFILES=book.xml manref.xml
+
+all: $(MANFILES)
+
+index.html: $(XMLFILES)
+	$(HTML_COMPILE) book.xml
+
+manref.xml: $(REFFILES)
+	rm -f manref.xml
+	for i in $(REFFILES); do \
+		xsltproc stripref.xsl $$i | sed 1d >>manref.xml; \
+        done
+
+.xml.3mp:
+	$(MAN_COMPILE) $<
+
+clean:
+	rm -f *.html *.pdf manref.xml *.hhp *.hhc $(MANFILES)
+
+distclean: clean
+
+check: all
+