doc: Build man pages with the same date as the info files.
authorWerner Koch <wk@gnupg.org>
Mon, 30 Nov 2015 10:27:30 +0000 (11:27 +0100)
committerWerner Koch <wk@gnupg.org>
Mon, 30 Nov 2015 10:27:30 +0000 (11:27 +0100)
* doc/Makefile.am (yat2m-stamp): Use option --date.
--

This changes allows reproducible builds.

Debian-bug-id: 806494

doc/Makefile.am

index c6a5e25..50d4725 100644 (file)
@@ -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 $@