diff options
-rwxr-xr-x | DOCS/xml/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/xml/configure b/DOCS/xml/configure index d4145ddf4c..b94eebf7e5 100755 --- a/DOCS/xml/configure +++ b/DOCS/xml/configure @@ -181,7 +181,7 @@ echo "Looking for a valid XSLT processor..." # Also checks for Jade/OpenJade. #FIXME: Add support for the xalan/xalan2 XSLT processors. -if xsltproc --version &> /dev/null +if xsltproc --version > /dev/null 2>&1 then if test -z "$_fake_chunk_xsl" then |