diff options
Diffstat (limited to 'share/man')
| -rw-r--r-- | share/man/Makefile | 3 |
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 |