comparison DOCS/xml/configure @ 31780:d55bcadba17a

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.

31779:6f79e6b02ed8

    echo "xsltproc is unusable without stylesheets."
  fi
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
XSLT_COMMAND = $xsltcommand
EOF

31780:d55bcadba17a

    echo "xsltproc is unusable without stylesheets."
  fi
fi


cat > xml.mak << EOF
CATALOG = $catalog
XMLLINT_COMMAND = xmllint --noout --noent --postvalid $catalog_opts \$*
XSLT_COMMAND = $xsltcommand
EOF