#!/bin/sh
-rm -f book1.htm
-jade -t sgml -ihtml -d sbcl-html.dsl\#html user-manual.sgml
-ln -sf book1.htm user-manual.html
+. ../find-gnumake.sh
+find_gnumake
+
+# Where is xsltproc?
+if [ "" != "$XSLTPROC" ]; then
+ # The user has told us where to find xsltproc, good.
+ echo using XSLTPROC=$XSLTPROC
+elif which xsltproc > /dev/null; then
+ # We have found it ourselves.
+ XSLTPROC=xsltproc
+else
+ echo "can't find xsltproc, sorry"
+ exit 1
+fi
+
+export XSLTPROC
+$GNUMAKE html