mirror of
https://github.com/mpv-player/mpv
synced 2025-01-14 19:11:53 +00:00
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
This commit is contained in:
parent
a5ceff924f
commit
5ef58f0351
@ -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) $<
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user