- 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 \
- || echo -n " (could not add to system catalog)" ) \
- && echo
+ cp $info "$BUILD_ROOT$INFO_DIR"/ \
+ && BN=`basename $info` \
+ && DIRFAIL=`install-info --info-dir="$BUILD_ROOT$INFO_DIR" \
+ "$BUILD_ROOT$INFO_DIR"/$BN > /dev/null 2>&1 \
+ || echo "(could not add to system catalog)"` \
+ && echo " info $BUILD_ROOT$INFO_DIR/`basename $info` [$BUILD_ROOT$INFO_DIR/dir] $DIRFAIL"
+done
+
+for info in doc/manual/*.info-*
+do
+ cp $info "$BUILD_ROOT$INFO_DIR"/ \
+ && echo " info $BUILD_ROOT$INFO_DIR/`basename $info`"