On Mon, 18 Mar 2002, Andrew Cagney wrote: > I'm wondering if the doco be using @example, @smallexample or both? > For this releasing gdb chapter, I suspect @smallexample is better. IIRC, @smallexample is better, since it does TRT for the @smallbook format as well as for the normal format.