X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=doc%2Fmake-doc.sh;h=01f1ea5bcce0f4981ed278fc6cb1902ce72a029e;hb=22c1de0a40df83bb5628974010a879cb2c17ff53;hp=eead940d88fe31132ff55e241c7a8fee84f5a6a6;hpb=f6a2be77637d025bfded9430f02863c28f74f77a;p=sbcl.git

diff --git a/doc/make-doc.sh b/doc/make-doc.sh
index eead940..01f1ea5 100644
--- a/doc/make-doc.sh
+++ b/doc/make-doc.sh
@@ -18,14 +18,8 @@ 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
+# Our hacked sbcl-html.dsl directs HTML output to html/. Make a clean slate.
+rm -rf html
+mkdir html
+
 $JADE -t sgml -ihtml -d sbcl-html.dsl\#html user-manual.sgml
-ln -sf book1.htm user-manual.html