diff options
| -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 517b150cf1..79bd9f429f 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -25,7 +25,7 @@ help: @echo "distclean : Remove ALL generated files." @echo "Substitute LANG for one of $(DOC_LANG_ALL)" -html-chunked html-single: xsltproc.sh xmllint.sh +html-chunked html-single: $(CONFIGURE_GENERATED) html-chunked: $(addprefix html-chunked-,$(DOC_LANGS)) html-single: $(addprefix html-single-,$(DOC_LANGS)) @@ -38,10 +38,10 @@ $(CONFIGURE_GENERATED) $(MAIN_XML_ALL): sh configure define lang-def -html-chunked-$(1): $(HTML)/$(1) xsltproc.sh xmllint.sh +html-chunked-$(1): $(HTML)/$(1) $(CONFIGURE_GENERATED) $(MAKE) HTMLDIR=../$$< -C $(1) html-chunked -html-single-$(1): $(HTML)/$(1) xsltproc.sh xmllint.sh +html-single-$(1): $(HTML)/$(1) $(CONFIGURE_GENERATED) $(MAKE) HTMLDIR=../$$< -C $(1) html-single xmllint-$(1): xmllint.sh |