-INFO_FILE=doc/manual/sbcl.info
-test -f $INFO_FILE && cp $INFO_FILE $BUILD_ROOT$INFO_DIR/ \
- && echo -n " info $BUILD_ROOT$INFO_DIR/sbcl.info" \
- && ( install-info $BUILD_ROOT$INFO_DIR/sbcl.info > /dev/null 2>&1 \
- || echo -n " (could not add to system catalog)" ) \
- && echo
+for info in doc/manual/*.info
+do
+ cp $info $BUILD_ROOT$INFO_DIR/ \
+ && echo -n " info $BUILD_ROOT$INFO_DIR/`basename $info`" \
+ && ( install-info $BUILD_ROOT$INFO_DIR/`basename $info` > /dev/null 2>&1 \
+ || echo -n " (could not add to system catalog)" ) \
+ && echo
+done