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 /doc | |
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 'doc')
-rw-r--r-- | doc/Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.local b/doc/Makefile.local index 769438ed..19b953ed 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -40,7 +40,7 @@ INFO_INFO_FILES := $(INFO_TEXI_FILES:.texi=.info) .PHONY: install-man build-man apidocs install-apidocs %.gz: % - rm -f $@ && gzip --stdout $^ > $@ + rm -f $@ && gzip --no-name --stdout $^ > $@ ifeq ($(WITH_EMACS),1) $(DOCBUILDDIR)/.roff.stamp sphinx-html sphinx-texinfo: docstring.stamp |