aboutsummaryrefslogtreecommitdiff
path: root/tools/setup
diff options
context:
space:
mode:
Diffstat (limited to 'tools/setup')
-rwxr-xr-xtools/setup16
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