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 19196d1aeb..2aca1c3586 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -31,7 +31,7 @@ xmllint: xmllint.sh $(addprefix xmllint-,$(DOC_LANG_ALL)) $(foreach lang,$(DOC_LANG_ALL),$(HTML)/$(lang)): -mkdir -p $@ -html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh: +html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh $(foreach lang,$(DOC_LANG_ALL),$(lang)/main.xml): sh configure define lang-def |