changeset 31779:6f79e6b02ed8

whitespace cosmetics: fix indentation
author diego
date Wed, 28 Jul 2010 09:53:01 +0000
parents ef8632ee675b
children d55bcadba17a
files DOCS/xml/configure
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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