Making makeinfo --no-split the default?

[Gerald Pfeifer]

Hi Karl et al.,

in GCC-land we are considering using `makeinfo --no-split` for our
documentation to reduce the number of generated files.

The sizes of our manuals seem relatively modest concerning current
hardware, especially given that there are five of them:

  % wc -c *.texi | tail -1
  2321080 total
  % wc -c *.info* | tail -1
  2761640 total

Is there any advice you could give us?  Any reason _not_ to use
--no-split?

(One of our developers actually suggested you might consider making
--no-split the default for makeinfo itself.)

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