diff --git a/tools/setup b/tools/setup
index bbc82669285deeaf7164784e7fa44593bd608672..af5d1aacfba7c1311fab57c4d13946be6e7f04fe 100755 (executable)
--- a/tools/setup
+++ b/tools/setup
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