1 files changed, 15 insertions, 1 deletions

diff --git a/tools/setup b/tools/setup
index bbc82669..af5d1aac 100755
--- a/tools/setup
+++ b/tools/setup
@@ -9,4 +9,18 @@ if [ -f debian/rules ] ; then
   chmod +x debian/rules
 fi
 
-cd doc && make
+# Lots of fiddling as Solaris' which command does give error if which fails
+docbook=0
+if [ `uname -s` = "SunOS" ] ; then
+        if [ "`which docbook2html`" = "/"* ] ; then
+                docbook=1
+        fi
+else
+        if which docbook2html ; then
+                docbook=1
+        fi
+fi
+
+if [ $docbook = 1 ] ; then
+        cd doc && make
+fi