]> git.notmuchmail.org Git - notmuch/commit
projects / notmuch / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5fbb2c7) | patch
doc: make gzipped man pages reproducible
authorJonas Witschel <diabonas@archlinux.org>
Sat, 11 Jul 2020 16:04:35 +0000 (18:04 +0200)
committerDavid Bremner <david@tethera.net>
Sat, 11 Jul 2020 16:57:17 +0000 (13:57 -0300)
commita962842d9b0b43b7d218860b196eecd5ef666088
treebb1cc993245d2589f1558cb0cb4fcfd4644005d7tree | snapshot
parent5fbb2c7929196033b6787ab40f7d94ec89bfbbbacommit | diff
doc: make gzipped man pages reproducible

gzip includes the name of the uncompressed file and its modification
timestamp into the compressed archive. The latter makes it hard to
reproduce the generated files bit for bit at a later time, so omit this
information from the archive using the "--no-name" option. This is a
reproducibility best practice, see
https://wiki.debian.org/ReproducibleBuilds/TimestampsInGzipHeaders
doc/Makefile.local diff | blob | history
Notmuch source code