Special characters in doc strings of GDB commands

[Eli Zaretskii]

> Date: Sun, 11 Feb 2007 13:08:55 -0500
> From: Daniel Jacobowitz <drow@false.org>
> 
> I haven't thought about it.  Probably we'd have to add an additional
> argument to everywhere that registers a command, to provide the string
> explicitly.  I'm not thrilled with the idea of duplicating that much
> text though!

Right.  Another possibility would be to enclose the short description
part in some control sequence, which will be stripped by the commands
that print the doc strings.  For example, like makeinfo uses ^[..^]
for similar purposes.