Skip to content

P
PPSi
Commit 1668b65c authored by Alessandro Rubini's avatar Alessandro Rubini
Browse files
Options

doc: print release in cover page 

Signed-off-by: Alessandro Rubini's avatarAlessandro Rubini <rubini@gnudd.com>
parent 407ada45
Hide whitespace changes
Inline Side-by-side
Showing with 6 additions and 3 deletions
doc/Makefile
View file @ 1668b65c
......@@ -18,9 +18,11 @@ ALL = $(INFO) $(HTML) $(TXT) $(PDF)
MAKEINFO ?= makeinfo
RELEASE=$(shell git describe --always --dirty)
%.texi: %.in
@rm -f $@
sed -f ./infofilter $< > $@
sed s/__RELEASE_GIT_ID__/$(RELEASE)/ $< | sed -f ./infofilter > $@
emacs -batch --no-site-file -l fixinfo $@
chmod -w $@
......
doc/ppsi-manual.in
View file @ 1668b65c
......@@ -35,13 +35,14 @@
@setchapternewpage off
@set update-month October 2013
@set update-month November 2013
@set release __RELEASE_GIT_ID__
@finalout
@titlepage
@title PPSi Manual
@subtitle @value{update-month}
@subtitle @value{update-month} (@value{release})
@subtitle Documentation about ``PTP Ported to Silicon''
@author Alessandro Rubini and Aurelio Colosimo for CERN (be-co-ht)
@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