comparison DOCS/xml/configure @ 31770:abfc5eb7af04

Simplify xmllint test.

31769:c6e58ec31959

  fi
fi


echo "Searching for XML checker..."
for _try_xmllint in xmllint
do
  if command -v $_try_xmllint > /dev/null 2>&1
  then
    echo "Found $_try_xmllint"
    if test -n "$_catalog"
    then
      _xmllint_command="$_try_xmllint --noout --noent --postvalid --catalogs \$*"
    else
      _xmllint_command="$_try_xmllint --noout --noent --postvalid \$*"
    fi
    break
  fi
done

if test -z "$_xmllint_command"
then
  echo "Not found"
  _xmllint_command=true
fi

cat > xml.mak << EOF

31770:abfc5eb7af04

  fi
fi


echo "Searching for XML checker..."
if command -v xmllint > /dev/null 2>&1; then
  echo "Found xmllint"
  if test -n "$_catalog"; then
    _xmllint_command="xmllint --noout --noent --postvalid --catalogs \$*"
  else
    _xmllint_command="xmllint --noout --noent --postvalid \$*"
  fi
else
  echo "Not found"
  _xmllint_command=true
fi

cat > xml.mak << EOF