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 [EMAIL PROTECTED]
