diff options
Diffstat (limited to 'DOCS/xml/Makefile')
| -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 c7ce2e99f9..e9b0b2288f 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -41,7 +41,7 @@ html-chunked-$(1): $(HTML)/$(1) xsltproc.sh xmllint.sh $(MAKE) HTMLDIR=../$$< -C $(1) html-chunked html-single-$(1): $(HTML)/$(1) xsltproc.sh xmllint.sh - $(MAKE) HTMLFILE=../$$</MPlayer.html -C $(1) html-single + $(MAKE) HTMLDIR=../$$< -C $(1) html-single xmllint-$(1): xmllint.sh $(MAKE) -C $(1) xmllint |