diff options
| author | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2009-12-13 12:28:42 +0000 |
|---|---|---|
| committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2009-12-13 12:28:42 +0000 |
| commit | 5ef58f03513d97c518a330d5d97f508529a3235e (patch) | |
| tree | b5c932834182a4cd5cb2d627688a76139c85d158 /DOCS | |
| parent | a5ceff924f07b9c0c6b192f90cc4f2487a7e9b36 (diff) | |
| download | mpv-5ef58f03513d97c518a330d5d97f508529a3235e.tar.bz2 mpv-5ef58f03513d97c518a330d5d97f508529a3235e.tar.xz | |
Declare a dependency on xmllint instead of duplicating the target's commands.
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@29993 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'DOCS')
| -rw-r--r-- | DOCS/xml/Makefile.inc | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc index c7c3252240..53e475d7af 100644 --- a/DOCS/xml/Makefile.inc +++ b/DOCS/xml/Makefile.inc @@ -39,7 +39,7 @@ SYMLINKS_DEPS:=$(if $(findstring yes,$(USE_SYMLINKS)), $(patsubst ../en/%,%,$(wi xmllint: main.xml $(SYMLINKS_DEPS) ../xmllint.sh $< -$(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS) +$(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS) xmllint ifndef HTMLDIR $(warning $(HTMLDIR)) $(warning Error: HTMLDIR not set!!!) @@ -47,18 +47,16 @@ ifndef HTMLDIR $(error Don't do this!) endif -rm -f $(HTMLDIR)/* - ../xmllint.sh $< cp -f $(HTML_STYLESHEET) $(HTMLDIR)/ ../xsltproc.sh $(HTMLDIR)/ $(HTML_CHUNK_XSL) $< -$(HTMLFILE): main.xml $(XSL_DEPS) $(SYMLINKS_DEPS) +$(HTMLFILE): main.xml $(XSL_DEPS) $(SYMLINKS_DEPS) xmllint ifndef HTMLFILE $(warning Error: HTMLFILE not set!!!) $(warning Typically this means, that you've run make from a subdir of DOCS/xml.) $(error Don't do this!) endif -rm -f $(HTMLFILE) - ../xmllint.sh $< cp -f $(HTML_STYLESHEET) `dirname $(HTMLFILE)` ../xsltproc.sh $(HTMLFILE) $(HTML_SINGLE_XSL) $< |