From 540ffb8a4a131d1898c5ff9c6c39c9db4244f9c7 Mon Sep 17 00:00:00 2001 From: Daniel Kahn Gillmor Date: Thu, 9 Jul 2015 09:53:01 -0400 Subject: [PATCH] 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 --- doc/Makefile.in | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/Makefile.in b/doc/Makefile.in index be3898e9..301175bf 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -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