summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/setup2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/setup b/tools/setup
index a90d48aa..d421791e 100755
--- a/tools/setup
+++ b/tools/setup
@@ -35,7 +35,7 @@ if [ `uname -s` = "SunOS" ] ; then
35 docbook=1 35 docbook=1
36 fi 36 fi
37else 37else
38 if which docbook2html ; then 38 if which docbook2html >/dev/null 2>&1; then
39 docbook=1 39 docbook=1
40 fi 40 fi
41fi 41fi