mirror of
https://github.com/mpv-player/mpv
synced 2025-02-23 10:55:27 +01:00
Do not run xmllint prior to building the XML documentation.
xmllint is just a convenient way to check for syntax errors; it is not a requirement to build the documentation. git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@31164 b3059339-0415-0410-9bf9-f77b7e298cf2
This commit is contained in:
parent
eabca4e7b2
commit
f7d7d2db33
@ -37,8 +37,8 @@ $(CONFIGURE_GENERATED) $(MAIN_XML_ALL):
|
||||
sh configure
|
||||
|
||||
define lang-def
|
||||
html-chunked-$(lang): xmllint-$(lang) $(HTML)/$(lang)/index.html
|
||||
html-single-$(lang): xmllint-$(lang) $(HTML)/$(lang)/MPlayer.html
|
||||
html-chunked-$(lang): $(HTML)/$(lang)/index.html
|
||||
html-single-$(lang): $(HTML)/$(lang)/MPlayer.html
|
||||
$(HTML)/$(lang)/index.html $(HTML)/$(lang)/MPlayer.html: $(lang)/main.xml $(wildcard $(lang)/*.xml) $(HTML)/$(lang) html-common.xsl $(HTML)/$(lang)/default.css
|
||||
|
||||
$(HTML)/$(lang)/default.css: $(HTML)/$(lang)
|
||||
|
Loading…
x
Reference in New Issue
Block a user