diff options
| author | Werner Koch <[email protected]> | 2015-11-30 10:27:30 +0000 |
|---|---|---|
| committer | Werner Koch <[email protected]> | 2015-11-30 10:27:30 +0000 |
| commit | 081c902f16a2f251df4593f090b3978dfa473a26 (patch) | |
| tree | fe50dcbdacdfcb9d848bd5d24dc5bb20b0161097 | |
| parent | yat2m: New option --date. (diff) | |
| download | gnupg-081c902f16a2f251df4593f090b3978dfa473a26.tar.gz gnupg-081c902f16a2f251df4593f090b3978dfa473a26.zip | |
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
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index c6a5e25b3..50d472504 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 $@ |