diff --git a/doc/Makefile b/doc/Makefile index d0caa58283cb5abf860d9ea9fa345f903eb3d44b..1a6658456bf3d926e0b12a5f2313dca45957a722 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -230,7 +230,7 @@ $(MANPAGES_WEBDIR_LINUX) $(MANPAGES_WEBDIR_WINDOWS): %.txt: % man ./$< > $@ -%.gz: +%.gz: % gzip -c ./$* > $@ %.html: %