summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--share/man/Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/share/man/Makefile b/share/man/Makefile
index 56408d7..a8af58d 100644
--- a/share/man/Makefile
+++ b/share/man/Makefile
@@ -27,6 +27,8 @@ RST2MAN = rst2man \
--tab-width=4 \
--verbose
+VERSION := $(shell cat ../../VERSION.txt)
+
SHELL := sh -e
all: build
@@ -44,6 +46,7 @@ man: man.in *.rst
$(RST2MAN) $${FILE} | \
sed -e '/^.\\" Man page generated/d' \
-e '/^.\\" Generated by/d' \
+ -e "s|^\(.TH .*\) \(\"\" \"\"\) |\1 $${VERSION} compute-tools |" \
>> $$(basename $${FILE} .rst); \
echo -n "."; \
done