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 |
