diff --git a/doc/Makefile b/doc/Makefile index 02066d859562bde736e4bc8c09fa3b6b4db97f45..e88ddf1df0dd35f25185304b919cf57c8cf8b0eb 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -232,7 +232,7 @@ $(MANPAGES_WEBDIR_LINUX) $(MANPAGES_WEBDIR_WINDOWS): %.txt: % man ./$< > $@ -%.gz: +%.gz: % gzip -c ./$* > $@ %.html: %