diff options
| -rw-r--r-- | DOCS/xml/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index 04485c5bac..108cad664b 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -37,10 +37,12 @@ $(CONFIGURE_GENERATED) $(MAIN_XML_ALL): sh configure define lang-def -html-chunked-$(1): $(HTML)/$(1) $(CONFIGURE_GENERATED) +html-chunked-$(1) html-single-$(1): $(HTML)/$(1) $(CONFIGURE_GENERATED) + +html-chunked-$(1): $(MAKE) HTMLDIR=../$$< -C $(1) html-chunked -html-single-$(1): $(HTML)/$(1) $(CONFIGURE_GENERATED) +html-single-$(1): $(MAKE) HTMLDIR=../$$< -C $(1) html-single xmllint-$(1): xmllint.sh |