summaryrefslogtreecommitdiffstats
path: root/DOCS/xml
diff options
context:
space:
mode:
Diffstat (limited to 'DOCS/xml')
-rw-r--r--DOCS/xml/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile
index 62aa2e03ee..d3fed701cc 100644
--- a/DOCS/xml/Makefile
+++ b/DOCS/xml/Makefile
@@ -28,7 +28,7 @@ help:
html-chunked: $(addprefix html-chunked-,$(DOC_LANGS))
html-single: $(addprefix html-single-,$(DOC_LANGS))
-xmllint: xmllint.sh $(addprefix xmllint-,$(DOC_LANG_ALL))
+xmllint: $(addprefix xmllint-,$(DOC_LANG_ALL))
$(foreach lang,$(DOC_LANG_ALL),$(HTML)/$(lang)):
-mkdir -p $@