diff options
| -rw-r--r-- | docs-xml/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs-xml/Makefile b/docs-xml/Makefile index 65d9aecff1..0feab24802 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 # |