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 7a90938aef..2a13530f39 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -62,4 +62,4 @@ releaseclean: distclean: clean releaseclean -.PHONY: all help html-chunked* html-single* xmllint* *clean* +.PHONY: all help html-chunked* html-single* xmllint xmllint-* *clean* |