Re: @smallbook and friends

[Karl Berry]

            I'm thinking that we should abolish @smallfoo.  It's littering
    the GCC manual so that when we use CVS Texinfo, we get a mixture of
    normal fonts and small fonts.

Well, you don't have to "litter" the manual that way.  Just use
@smallexample always if that's what you want.  Or use @example always if
that's what you want.

    We should deprecate @smallfoo, 

Too many manuals use it.  I don't want to deprecate it.

    and just let @smallbook redefine the
    font sizes (since otherwise they won't fit on a page.)

But smaller fonts are also needed in the 8.5x11 case -- for some examples.

The current situation is not pretty, but I can't think of any way to
improve it without the user losing needed flexibility.