mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-12-22 17:34:54 +01:00
a962842d9b
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 |
||
---|---|---|
.. | ||
man1 | ||
man5 | ||
man7 | ||
.gitignore | ||
conf.py | ||
doxygen.cfg | ||
index.rst | ||
INSTALL | ||
Makefile | ||
Makefile.local | ||
notmuch-emacs.rst |