1.0.41.1: much faster MAKE-INITIAL-DFUN
[sbcl.git] / install.sh
index 3ee1ffb..1400791 100644 (file)
@@ -108,15 +108,22 @@ echo "Documentation:"
 cp doc/sbcl.1 "$BUILD_ROOT$MAN_DIR"/man1/ && echo " man $BUILD_ROOT$MAN_DIR/man1/sbcl.1"
 
 # info
-for info in doc/manual/*.info doc/manual/*.info-*
+for info in doc/manual/*.info
 do
   cp $info "$BUILD_ROOT$INFO_DIR"/ \
       && echo -n " info $BUILD_ROOT$INFO_DIR/`basename $info` $BUILD_ROOT$INFO_DIR/dir" \
-      && ( install-info "$BUILD_ROOT$INFO_DIR"/`basename $info` "$BUILD_ROOT$INFO_DIR"/dir > /dev/null 2>&1 \
+      && ( install-info --info-dir="$BUILD_ROOT$INFO_DIR" \
+        "$BUILD_ROOT$INFO_DIR"/`basename $info` > /dev/null 2>&1 \
            || echo -n " (could not add to system catalog)" ) \
       && echo
 done
 
+for info in doc/manual/*.info-*
+do
+  cp $info "$BUILD_ROOT$INFO_DIR"/ \
+      && echo " info $BUILD_ROOT$INFO_DIR/`basename $info`"
+done
+
 # pdf
 for pdf in doc/manual/*.pdf
 do
@@ -131,7 +138,13 @@ do
       && echo " html $BUILD_ROOT$DOC_DIR/html/`basename $html`/index.html"
 done
 
-for f in BUGS SUPPORT CREDITS COPYING NEWS
+for html in doc/manual/sbcl.html doc/manual/asdf.html
+do
+  cp $html "$BUILD_ROOT$DOC_DIR"/ \
+      && echo " html $BUILD_ROOT$DOC_DIR/`basename $html`"
+done
+
+for f in BUGS CREDITS COPYING NEWS
 do
   cp $f "$BUILD_ROOT$DOC_DIR"/
 done