doc/make-doc.sh

   1 #!/bin/sh
   2
   3 . ../find-gnumake.sh
   4 find_gnumake
   5
   6 # Where is xsltproc?
   7 if [ "" != "$XSLTPROC" ]; then
   8     # The user has told us where to find xsltproc, good.
   9     echo using XSLTPROC=$XSLTPROC
  10 elif which xsltproc > /dev/null; then
  11     # We have found it ourselves.
  12     XSLTPROC=xsltproc
  13 else
  14     echo "can't find xsltproc, sorry"
  15     exit 1
  16 fi
  17
  18 export XSLTPROC
  19 $GNUMAKE html