summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xtools/setup16
1 files changed, 15 insertions, 1 deletions
diff --git a/tools/setup b/tools/setup
index bbc8266..af5d1aa 100755
--- a/tools/setup
+++ b/tools/setup
@@ -9,4 +9,18 @@ if [ -f debian/rules ] ; then
9 chmod +x debian/rules 9 chmod +x debian/rules
10fi 10fi
11 11
12cd doc && make 12# Lots of fiddling as Solaris' which command does give error if which fails
13docbook=0
14if [ `uname -s` = "SunOS" ] ; then
15 if [ "`which docbook2html`" = "/"* ] ; then
16 docbook=1
17 fi
18else
19 if which docbook2html ; then
20 docbook=1
21 fi
22fi
23
24if [ $docbook = 1 ] ; then
25 cd doc && make
26fi