gdb/doc: document MI -remove-inferior command
authorAndrew Burgess <aburgess@redhat.com>
Wed, 15 Feb 2023 11:42:12 +0000 (11:42 +0000)
committerAndrew Burgess <aburgess@redhat.com>
Thu, 16 Feb 2023 08:42:48 +0000 (08:42 +0000)
commit42af03dafee14cf7b3f4e324ceca1b0ababd1eb9
tree5d55ccfea18d9bc1f71d1a443e565b0b59e76e08
parent0ccade1ae2c00337d2b0bba2a175a060b93728a8
gdb/doc: document MI -remove-inferior command

Back in 2010 the -remove-inferior command was added in commit
a79b8f6ea8c2, unfortunately this command was never added to the
documentation.

This commit addresses that oversight.

Approved-By: Eli Zaretskii <eliz@gnu.org>
gdb/doc/gdb.texinfo