Special characters in doc strings of GDB commands

[Eli Zaretskii]

I see in cli-decode.c:print_doc_line that it displays the first line
only up to the first comma or period.  However, I don't see this
special treatment of these two characters documented anywhere, neither
in gdb.texinfo (where it matters for doc strings given to user-defined
commands), nor in gdbint.texinfo (where it is important for GDB
developers who add new commands).

Am I missing something?

Btw, should we have a mechanism to escape these special characters, at
least the comma?  Sometimes a sentence looks very awkward or even
unclear unless you use a comma.