0.8.15.20: Fix HTML installation

[sbcl.git] / install.sh

diff --git a/install.sh b/install.sh
index 3f0ef26..fbad2a8 100644 (file)
--- a/install.sh
+++ b/install.sh
@@ -28,6 +28,7 @@ ensure_dirs $BUILD_ROOT$INSTALL_ROOT $BUILD_ROOT$INSTALL_ROOT/bin \
     $BUILD_ROOT$INSTALL_ROOT/lib  \
     $BUILD_ROOT$MAN_DIR $BUILD_ROOT$MAN_DIR/man1 \
     $BUILD_ROOT$INFO_DIR $BUILD_ROOT$DOC_DIR \
+    $BUILD_ROOT$DOC_DIR/html \
     $BUILD_ROOT$SBCL_HOME $BUILD_ROOT$SBCL_HOME/systems \
     $BUILD_ROOT$SBCL_HOME/site-systems
 
@@ -79,22 +80,28 @@ echo "Documentation:"
 cp doc/sbcl.1 $BUILD_ROOT$MAN_DIR/man1/ && echo " man $BUILD_ROOT$MAN_DIR/man1/sbcl.1"
 
 # info
-INFO_FILE=doc/manual/sbcl.info
-test -f $INFO_FILE && cp $INFO_FILE $BUILD_ROOT$INFO_DIR/ \
-    && echo -n " info $BUILD_ROOT$INFO_DIR/sbcl.info" \
-    && ( install-info $BUILD_ROOT$INFO_DIR/sbcl.info > /dev/null 2>&1 \
-         || echo -n " (could not add to system catalog)" ) \
-    && echo
+for info in doc/manual/*.info
+do
+  cp $info $BUILD_ROOT$INFO_DIR/ \
+      && echo -n " info $BUILD_ROOT$INFO_DIR/`basename $info`" \
+      && ( install-info $BUILD_ROOT$INFO_DIR/`basename $info` > /dev/null 2>&1 \
+           || echo -n " (could not add to system catalog)" ) \
+      && echo
+done
 
 # pdf
-PDF_FILE=doc/manual/sbcl.pdf
-test -f $PDF_FILE && cp $PDF_FILE $BUILD_ROOT$DOC_DIR/ \
-    && echo " pdf $BUILD_ROOT$DOC_DIR/sbcl.pdf"
+for pdf in doc/manual/*.pdf
+do
+  cp $pdf $BUILD_ROOT$DOC_DIR/ \
+      && echo " pdf $BUILD_ROOT$DOC_DIR/`basename $pdf`"
+done
 
 # html
-HTMLS=doc/manual/sbcl
-test -d $HTMLS && cp -r $HTMLS $BUILD_ROOT$DOC_DIR/html \
-    && echo " html $BUILD_ROOT$DOC_DIR/html/index.html"
+for html in doc/manual/sbcl doc/manual/asdf
+do
+  test -d $html && cp -R -L $html $BUILD_ROOT$DOC_DIR/html \
+      && echo " html $BUILD_ROOT$DOC_DIR/html/`basename $html`/index.html"
+done
 
 for f in BUGS SUPPORT CREDITS COPYING NEWS
 do