interesting
/
getdns
mirror of https://github.com/getdnsapi/getdns.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

report manpage date based on the name of the API 

This links the manual pages to the API "string version", and avoids
problems with reproducibility (the man pages should not get modified
simply because they are built in a different month, or because they
were built with a different locale).

Gbp-Pq: Name 0001-report-manpage-date-based-on-the-name-of-the-API.patch
This commit is contained in:
Daniel Kahn Gillmor 2015-07-09 09:53:01 -04:00
parent 319a20a66c
commit 540ffb8a4a
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
doc/Makefile.in
View File

@ -32,6 +32,8 @@ version = @PACKAGE_VERSION@
tarname = @PACKAGE_TARNAME@
distdir = $(tarname)-$(version)
api_version = @API_VERSION@
prefix = @prefix@
exec_prefix = @exec_prefix@
bindir = @bindir@
@ -58,7 +60,7 @@ doc: $(MANPAGES3)
.SUFFIXES: .3.in .3
.3.in.3:
sed $(EDITS) -e "s/@date@/`date +'%B %Y'`/g" $< > $@
sed $(EDITS) -e "s/@date@/$(api_version)/g" $< > $@
# we assume that we want a separate file for each "name" specified for each man page
# and consider these "alternate names" simple copies of the main man page