# HG changeset patch
# User diego
# Date 1280310781 0
# Node ID 6f79e6b02ed861d3f7f4aadc24e647269ebf8a26
# Parent  ef8632ee675bae54d96a8c0e2738d806642e32e6
whitespace cosmetics: fix indentation

diff -r ef8632ee675b -r 6f79e6b02ed8 DOCS/xml/configure
--- a/DOCS/xml/configure	Wed Jul 28 09:48:36 2010 +0000
+++ b/DOCS/xml/configure	Wed Jul 28 09:53:01 2010 +0000
@@ -180,7 +180,7 @@
 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 \$*"
+  xmllint_command="xmllint --noout --noent --postvalid $catalog_opts \$*"
 else
   echo "Not found"
   xmllint_command=true