diff options
| -rwxr-xr-x | tools/setup | 2 |
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 docbook=1 fi else - if which docbook2html ; then + if which docbook2html >/dev/null 2>&1; then docbook=1 fi fi |