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