0.8.15.7

[sbcl.git] / doc / make-doc.sh

diff --git a/doc/make-doc.sh b/doc/make-doc.sh
index 76867e6..8ce3106 100644 (file)
--- a/doc/make-doc.sh
+++ b/doc/make-doc.sh
@@ -1,5 +1,3 @@
 #!/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
+(cd ./manual ; make html)