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 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 $@ |