X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=doc%2Fmake-doc.sh;h=eead940d88fe31132ff55e241c7a8fee84f5a6a6;hb=85bc4001453f09c80c4b9662dd5cf23f0b1fbaed;hp=76867e6ba11b79a426ab520b0f98c4f5f536e200;hpb=a530bbe337109d898d5b4a001fc8f1afa3b5dc39;p=sbcl.git diff --git a/doc/make-doc.sh b/doc/make-doc.sh index 76867e6..eead940 100644 --- a/doc/make-doc.sh +++ b/doc/make-doc.sh @@ -1,5 +1,31 @@ #!/bin/sh +# Where is Jade? (i.e. James Clark's implementation of DSSSL, or +# something offsprung) +if [ "" != "$JADE" ]; then + # The user has told us where to find jade, good. + echo using JADE=$JADE +elif which openjade > /dev/null; then + # OpenJade is the version of Jade which comes with OpenBSD 2.9, + # and I started using it in sbcl-0.pre7.x. -- WHN + JADE=openjade +elif which jade > /dev/null; then + # I used the original Jade until sbcl-0.pre7.x. It might still + # work. -- WHN + JADE=jade +else + echo "can't find Jade, sorry" + exit 1 +fi + +# Since Jade has strange ideas about the name of the top level output +# file, use a symlink as a workaround to provide a reasonable entry +# point. +# +# (KLUDGE: Why does the output always come out in book1.htm? According +# to the docs of OpenJade 1.3, it should be coming out in +# user-manual.htm by default, I think. And it should respect the -o +# option. But experimentally that seems not to be. -- WHN 2002-01-15) rm -f book1.htm -jade -t sgml -ihtml -d sbcl-html.dsl\#html user-manual.sgml +$JADE -t sgml -ihtml -d sbcl-html.dsl\#html user-manual.sgml ln -sf book1.htm user-manual.html