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 _______________________________________________ MPlayer-DOCS mailing list [email protected] https://lists.mplayerhq.hu/mailman/listinfo/mplayer-docs
