problems re: makeinfo '--split-size' arg?

[Gerald Pfeifer]

On Thu, 1 May 2003 cgd@broadcom.com wrote:
> If people think that a patch like mine, but w/ the version bumped to
> 4.2, is reasonable, then that's fine w/ me...  All i know is that the
> current state allows one to use makeinfo 4.0, which fails during the
> build.  8-)

That's certainly a bug, agreed.  Would you mind submitting an updated
version of your patch so that the GCC Makefile/configury maintainers
can have a look?

Thanks,
Gerald
-- 
Gerald "Jerry"   pfeifer@dbai.tuwien.ac.at   http://www.pfeifer.com/gerald/