Re: @smallbook and friends

[Simon Law]

On Wed, Apr 09, 2003 at 09:09:43AM -0400, Karl Berry wrote:
>     Perhaps @foo should default to @smallfoo in @smallbook.
> 
> I don't see the advantage.
> 
>     What about adding @bigfoo environments?
> 
> I don't want to do that.  In my mind, @smallfoo should never have been
> invented as such in the first place, it is a physical layout command.
> Anyway, it's done now, and it works ok, so fine.

        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.

        I took the brute-force approach and redefined @example, @lisp,
@format and @display to use the small fonts, but that seems awkward.  We
should deprecate @smallfoo, and just let @smallbook redefine the
font sizes (since otherwise they won't fit on a page.)

Simon