X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=doc%2Fmake-doc.sh;h=eead940d88fe31132ff55e241c7a8fee84f5a6a6;hb=85bc4001453f09c80c4b9662dd5cf23f0b1fbaed;hp=4be93f8e7b892b53ad9b3c626de02a0e847a8b6f;hpb=89df0fb4a1d8f2b799933ce4ca5be713512f0923;p=sbcl.git

diff --git a/doc/make-doc.sh b/doc/make-doc.sh
index 4be93f8..eead940 100644
--- a/doc/make-doc.sh
+++ b/doc/make-doc.sh
@@ -1,13 +1,15 @@
 #!/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
-elif which openjade; then
+    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; then
+elif which jade > /dev/null; then
     # I used the original Jade until sbcl-0.pre7.x. It might still
     # work. -- WHN
     JADE=jade
@@ -16,6 +18,14 @@ else
     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
 ln -sf book1.htm user-manual.html