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 | |||
| 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 | 
