[Pkg-gnupg-commit] [gnupg2] 197/241: doc: Build man pages with the same date as the info files.

[Daniel Kahn Gillmor]

This is an automated email from the git hooks/post-receive script.

dkg pushed a commit to branch master
in repository gnupg2.

commit 081c902f16a2f251df4593f090b3978dfa473a26
Author: Werner Koch <wk at gnupg.org>
Date:   Mon Nov 30 11:27:30 2015 +0100

    doc: Build man pages with the same date as the info files.
    
    * doc/Makefile.am (yat2m-stamp): Use option --date.
    --
    
    This changes allows reproducible builds.
    
    Debian-bug-id: 806494
---
 doc/Makefile.am | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index c6a5e25..50d4725 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -108,8 +108,10 @@ mkdefsinc: mkdefsinc.c Makefile ../config.h
 yat2m-stamp: $(myman_sources) defs.inc
 	@rm -f yat2m-stamp.tmp
 	@touch yat2m-stamp.tmp
+	incd="`test -f defsincdate || echo '$(srcdir)/'`defsincdate"; \
 	for file in $(myman_sources) ; do \
               ./yat2m $(YAT2M_OPTIONS) --store \
+                  --date "`cat $$incd 2>/dev/null`" \
 	          `test -f '$$file' || echo '$(srcdir)/'`$$file ; done
 	@mv -f yat2m-stamp.tmp $@
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-gnupg/gnupg2.git