diff options
| author | Jonas Witschel <diabonas@archlinux.org> | 2020-07-11 18:04:35 +0200 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2020-07-11 13:57:17 -0300 |
| commit | a962842d9b0b43b7d218860b196eecd5ef666088 (patch) | |
| tree | bb1cc993245d2589f1558cb0cb4fcfd4644005d7 /lib/database.cc | |
| parent | 5fbb2c7929196033b6787ab40f7d94ec89bfbbba (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
Diffstat (limited to 'lib/database.cc')
0 files changed, 0 insertions, 0 deletions