[MPlayer-DOCS] r31846 - trunk/DOCS/xml/configure

[diego]

Author: diego
Date: Wed Jul 28 12:00:56 2010
New Revision: 31846

Log:
Skip searching for an xmllint command.
The xmllint target is separate from building the documentation; thus if xmllint
is not available, the xmllint targets can fail without further harm.

Modified:
   trunk/DOCS/xml/configure

Modified: trunk/DOCS/xml/configure
==============================================================================
--- trunk/DOCS/xml/configure	Wed Jul 28 11:53:01 2010	(r31845)
+++ trunk/DOCS/xml/configure	Wed Jul 28 12:00:56 2010	(r31846)
@@ -177,17 +177,8 @@ if xsltproc --version > /dev/null 2>&1; 
 fi
 
 
-echo "Searching for XML checker..."
-if command -v xmllint > /dev/null 2>&1; then
-  echo "Found xmllint"
-  xmllint_command="xmllint --noout --noent --postvalid $catalog_opts \$*"
-else
-  echo "Not found"
-  xmllint_command=true
-fi
-
 cat > xml.mak << EOF
 CATALOG = $catalog
-XMLLINT_COMMAND = $xmllint_command
+XMLLINT_COMMAND = xmllint --noout --noent --postvalid $catalog_opts \$*
 XSLT_COMMAND = $xsltcommand
 EOF