* makeinfo splits large info-files into separate parts, so
we'd better deal with them.
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
+for info in doc/manual/*.info doc/manual/*.info-*
do
cp $info $BUILD_ROOT$INFO_DIR/ \
&& echo -n " info $BUILD_ROOT$INFO_DIR/`basename $info` $BUILD_ROOT$INFO_DIR/dir" \
;;; checkins which aren't released. (And occasionally for internal
;;; versions, especially for internal versions off the main CVS
;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.9.13.42"
+"0.9.13.43"