diff --git a/docs-xml/Makefile b/docs-xml/Makefile index 65d9aecff19..0feab248021 100644 --- a/docs-xml/Makefile +++ b/docs-xml/Makefile @@ -84,7 +84,7 @@ validate:: $(addsuffix -validate,$(MAIN_DOCS)) test:: validate check:: validate -.PHONY: test check validate +.PHONY: test check validate manpages # Intermediate docbook docs #