diff options
author | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2009-12-14 03:07:35 +0000 |
---|---|---|
committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2009-12-14 03:07:35 +0000 |
commit | 1586e9212d0795948eec2d463046623ba8a30d94 (patch) | |
tree | 60fa92bcb1feb0d7557e6eae76e9f8cabb2d6d54 /DOCS | |
parent | 9e41ccd3bc38b99efe3c105a9ca9f495937c4d4e (diff) |
Factorize dependencies of language-specific HTML generation targets.
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@30029 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'DOCS')
-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 |