[help-texinfo] Re: small font in gcc online docs

[Joseph S. Myers]

On Mon, 3 Nov 2008, Jonathan Grant wrote:

> Perhaps GCC could use @example rather than @smallexample ?

Consistent use of @smallexample comes from changes made for the printed 
manual published by GNU Press.  GNU Press hasn't exactly been cooperative 
with the GCC community in merging their changes (dumping extensively 
modified sources instead of contributing individual logical patches and 
discussing them with the community as needed to get them merged), but the 
aim should still be to end up with one set of manual sources for all uses.

-- 
Joseph S. Myers
joseph@codesourcery.com