From: Jonas Witschel <diabonas@archlinux.org>
Date: Sat, 11 Jul 2020 16:04:35 +0000 (+0200)
Subject: doc: make gzipped man pages reproducible
X-Git-Tag: 0.31_rc0~163
X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=commitdiff_plain;h=a962842d9b0b43b7d218860b196eecd5ef666088

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
---

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