Hello,

(I'm really not sure about this one :-)

I got annoyed at all the GDB's in the formatted manual being really 
large so tried changing them to @sc{gdb}.  It fixed that problem but I'm 
not sure that I like the final result :-)  (You'll need to build 
gdb.pdf, gdb ps or gdb.dvi).

Is there a style guide thing on this one?  Eli?

Andrew