+for info in doc/manual/*.info
+do
+ 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-*