Commit 1a5c0f98 authored by Alessandro Rubini's avatar Alessandro Rubini

doc: generate release value from git version

Signed-off-by: Alessandro Rubini's avatarAlessandro Rubini <rubini@gnudd.com>
parent bc1327dc
...@@ -18,9 +18,11 @@ ALL = $(INFO) $(HTML) $(TXT) $(PDF) ...@@ -18,9 +18,11 @@ ALL = $(INFO) $(HTML) $(TXT) $(PDF)
MAKEINFO ?= makeinfo MAKEINFO ?= makeinfo
RELEASE=$(shell git describe --always --dirty)
%.texi: %.in %.texi: %.in
@rm -f $@ @rm -f $@
sed -f ./infofilter $< > $@ sed s/__RELEASE_GIT_ID__/$(RELEASE)/ $< | sed -f ./infofilter > $@
emacs -batch --no-site-file -l fixinfo $@ emacs -batch --no-site-file -l fixinfo $@
chmod -w $@ chmod -w $@
......
...@@ -36,12 +36,14 @@ ...@@ -36,12 +36,14 @@
@setchapternewpage off @setchapternewpage off
@set update-month July 2013 @set update-month July 2013
@c the release name below is substituted at build time
@set release __RELEASE_GIT_ID__
@finalout @finalout
@titlepage @titlepage
@title White Rabbit Switch: software build scripts @title White Rabbit Switch: software build scripts
@subtitle @value{update-month} @subtitle @value{update-month} (@value{release})
@subtitle How to rebuild the whole software package from sources @subtitle How to rebuild the whole software package from sources
@author Alessandro Rubini, Benoit Rat, Federico Vaga et al. @author Alessandro Rubini, Benoit Rat, Federico Vaga et al.
@end titlepage @end titlepage
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment