diff options
Diffstat (limited to 'DOCS/xml/Makefile')
-rw-r--r-- | DOCS/xml/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index 108cad664b..e850eeb9e9 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -61,4 +61,5 @@ releaseclean: distclean: clean releaseclean -.PHONY: all help html-chunked* html-single* xmllint xmllint-* *clean* +.PHONY: all help html-chunked html-single xmllint +.PHONY: html-chunked-* html-single-* xmllint-* *clean* |