Eli, (Just discovered @smallexample, @noindent(after @example) and @b(for example input) :-) I'm wondering if the doco be using @example, @smallexample or both? For this releasing gdb chapter, I suspect @smallexample is better. thoughts? Andrew