1.0.11.8: also fix install-info on Debian

[sbcl.git] / install.sh

diff --git a/install.sh b/install.sh
index 9722300..051e44b 100644 (file)
--- a/install.sh
+++ b/install.sh
@@ -112,7 +112,8 @@ 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