From 41aec8f4bf29d3b48cbdb34cceab896ecef354a6 Mon Sep 17 00:00:00 2001
From: Alessandro Rubini <rubini@gnudd.com>
Date: Fri, 11 Oct 2013 10:24:57 +0200
Subject: [PATCH] doc: use the git description as release name
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
---
doc/Makefile | 4 +++-
doc/wrpc.in | 2 +-
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/doc/Makefile b/doc/Makefile
index 553ac80..ee567b0 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -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 $@
diff --git a/doc/wrpc.in b/doc/wrpc.in
index 9d7236b..2abbe0c 100644
--- a/doc/wrpc.in
+++ b/doc/wrpc.in
@@ -36,7 +36,7 @@
@setchapternewpage off
@set update-month October 2013
-@set release 2.1
+@set release __RELEASE_GIT_ID__
@set tagname wrpc-v2.1
@c WARNING: in @example I Can't use @value{tagname}, so please look for this
@c string when updating the document.
--
GitLab