diff --git a/doc/module.mk b/doc/module.mk index 581d06c08..34fdbaebf 100644 --- a/doc/module.mk +++ b/doc/module.mk @@ -29,6 +29,10 @@ GENERATED_FILES += $(addprefix ${DOC_DIR}/,\ RST2MAN = rst2man RST2MAN_OPTS = + +.PHONY: doc +doc: manpages + .PHONY: manpages manpages: ${manpage_paths}