From: Adam Dickmeiss Date: Thu, 21 May 2015 09:28:27 +0000 (+0200) Subject: Generate local.ent from local.ent.in with version X-Git-Tag: v0.4~15 X-Git-Url: http://git.indexdata.com/?p=mp-xquery-moved-to-github.git;a=commitdiff_plain;h=5351ee1f34c25d57cab28a72c75dc29d96286d15 Generate local.ent from local.ent.in with version --- diff --git a/doc/Makefile b/doc/Makefile index 58eceff..18f3b8a 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -4,6 +4,8 @@ prefix = /usr +VERSION=$(shell . ../IDMETA; echo $$VERSION) + XSLTPROC_COMPILE = xsltproc --xinclude -path "." HTML_COMPILE = $(XSLTPROC_COMPILE) common/id.htmlhelp.xsl MAN_COMPILE = $(XSLTPROC_COMPILE) common/id.man.xsl @@ -14,10 +16,10 @@ 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; \ @@ -31,6 +33,9 @@ clean: distclean: clean +local.ent: local.ent.in + sed "s/@VERSION@/$(VERSION)/" local.ent + check: all install: diff --git a/doc/local.ent.in b/doc/local.ent.in new file mode 100644 index 0000000..7b2eb41 --- /dev/null +++ b/doc/local.ent.in @@ -0,0 +1 @@ +