On Wed, Apr 09, 2003 at 10:36:12AM -0400, Karl Berry wrote:
> 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.
Haven't you made @smallfoo always use small fonts? I guess
that is more explicit in the long run and should work better.
> We should deprecate @smallfoo,
>
> Too many manuals use it. I don't want to deprecate it.
I see.
> 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.
OK. How about this? @smallbook redefines @foo to use the small
fonts, and @smallfoo to use smaller fonts. That way, examples should
fit on the page no matter what.
Simon
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
