diff options
author | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2010-05-11 21:21:45 +0000 |
---|---|---|
committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2010-05-11 21:21:45 +0000 |
commit | f7d7d2db33d527caea2cde299427ea2323e73bad (patch) | |
tree | bc95685ebdf7d2bd81289fe87ae89d8fc25a53c3 | |
parent | eabca4e7b273ca61022d7773ce3c2069aaef1ac5 (diff) | |
download | mpv-f7d7d2db33d527caea2cde299427ea2323e73bad.tar.bz2 mpv-f7d7d2db33d527caea2cde299427ea2323e73bad.tar.xz |
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
-rw-r--r-- | DOCS/xml/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index d385dd15a3..a0f7597ed7 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -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) |