On Sat, Jul 11 2020, Jonas Witschel wrote:

> 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

LGTM.

Tomi

> ---
>  doc/Makefile.local | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> 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
> -- 
> 2.27.0
_______________________________________________
notmuch mailing list -- notmuch@notmuchmail.org
To unsubscribe send an email to notmuch-leave@notmuchmail.org