Re: Making makeinfo --no-split the default?

[Gerald Pfeifer]

On Sat, 5 Apr 2003, Karl Berry wrote:
> It seems gcc.* and gccint.* are both a bit over 1mb.  That still seems
> like a fair amount to haul into memory at once merely for a manual,
> although not absurdly much these days, true enough.

Compared to the resources GCC itself consumes (unfortunately), that's
extremely slim. :-/

> However, now that I'm writing this, we could achieve the same effect by
> increasing the default split-size from 50,000.  I think I'll do that for
> the next release.

Cool; nice "trick". ;-)

Thanks for the quick response and helpful comments!

Gerald
-- 
Gerald "Jerry"   address@hidden   http://www.pfeifer.com/gerald/