--- a/GNUmakefile 2019-04-02 19:49:59.000000000 +0200 +++ b/GNUmakefile 2019-09-21 14:08:33.043968397 +0200 @@ -215,7 +215,7 @@ mv -f $@.tmp $@ %.1.gz: %.1 - $(GZIP) --best -c < $< > $@ + $(GZIP) -c < $< > $@ HTML_DATA += html/README.html HTML_DATA += html/INSTALL.html