[PATCH][gdb/doc] Fix to manual for description of remote protocol

[Reuben Thomas]

See the thread starting at
https://sourceware.org/pipermail/gdb/2020-July/048808.html
and in particular the analysis I give in
https://sourceware.org/pipermail/gdb/2020-July/048817.html

The manual states in the section E.1 about the remote protocol that remote
stubs must implement the 's' command. This appears to be false. Further, it
does not mention the '?' command, which does appear to be required.

The attached patch against git master at the time of writing fixes these
two nits.

-- 
https://rrt.sc3d.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Correct-an-error-in-the-remote-protocol-specificatio.patch
Type: text/x-patch
Size: 2242 bytes
Desc: not available
URL: <https://sourceware.org/pipermail/gdb-patches/attachments/20200721/329de157/attachment-0001.bin>