This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
RE: [help-texinfo] Re: small font in gcc online docs
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