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 /m_config.c | |
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
Diffstat (limited to 'm_config.c')
0 files changed, 0 insertions, 0 deletions