diff options
Diffstat (limited to 'DOCS/xml/Makefile')
| -rw-r--r-- | DOCS/xml/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index 09f1064979..7a90938aef 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -39,11 +39,11 @@ xsltproc.sh xmllint.sh: define lang-def html-chunked-$(1): xsltproc.sh xmllint.sh $(HTML_CHUNKED) - -(mkdir -p $(HTML_CHUNKED)/$(1)) + -mkdir -p $(HTML_CHUNKED)/$(1) $(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$(1) -C $(1) html-chunked html-single-$(1): xsltproc.sh xmllint.sh $(HTML_SINGLE) - -(mkdir -p $(HTML_SINGLE)/$(1)) + -mkdir -p $(HTML_SINGLE)/$(1) $(MAKE) HTMLFILE=../$(HTML_SINGLE)/$(1)/MPlayer.html -C $(1) html-single xmllint-$(1): xmllint.sh |