diff options
Diffstat (limited to 'tools')
-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 | |||
35 | docbook=1 | 35 | docbook=1 |
36 | fi | 36 | fi |
37 | else | 37 | else |
38 | if which docbook2html ; then | 38 | if which docbook2html >/dev/null 2>&1; then |
39 | docbook=1 | 39 | docbook=1 |
40 | fi | 40 | fi |
41 | fi | 41 | fi |