diff options
Diffstat (limited to 'DOCS')
-rw-r--r-- | DOCS/xml/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index 2a13530f39..21d34df0f9 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -25,9 +25,9 @@ help: @echo "distclean : Remove ALL generated files." @echo "Substitute LANG for one of $(DOC_LANG_ALL)" -html-chunked: xsltproc.sh xmllint.sh $(HTML_CHUNKED) $(addprefix html-chunked-,$(DOC_LANGS)) - -html-single: xsltproc.sh xmllint.sh $(HTML_SINGLE) $(addprefix html-single-,$(DOC_LANGS)) +html-chunked html-single: xsltproc.sh xmllint.sh +html-chunked: $(HTML_CHUNKED) $(addprefix html-chunked-,$(DOC_LANGS)) +html-single: $(HTML_SINGLE) $(addprefix html-single-,$(DOC_LANGS)) xmllint: xmllint.sh $(addprefix xmllint-,$(DOC_LANG_ALL)) |