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