chiark / gitweb /
docs: reproducibly build docs by using deterministic timestamp
authorReiner Herrmann <reiner@reiner-h.de>
Fri, 30 Oct 2015 18:27:32 +0000 (19:27 +0100)
committerReiner Herrmann <reiner@reiner-h.de>
Fri, 30 Oct 2015 18:27:32 +0000 (19:27 +0100)
commita2b20f4c8477b1dfbd48514e2020be38e886b186
treee9568e38c809b87ec01050f45bf1cb481985dda8
parentf3d0d44a60cf35e564e69724c5cec1d82238d433
docs: reproducibly build docs by using deterministic timestamp

Use the SOURCE_DATE_EPOCH timestamp [1] if it is available for
timestamps in the tarballs and the HTML documentation.

Also fix permissions inside tarballs to normalize umask
variations.

[1]: https://reproducible-builds.org/specs/source-date-epoch/
docs/gendocs.sh