Fix indexing of gdbserver section.
authorEli Zaretskii <eliz@gnu.org>
Sat, 23 Apr 2011 05:47:43 +0000 (05:47 +0000)
committerEli Zaretskii <eliz@gnu.org>
Sat, 23 Apr 2011 05:47:43 +0000 (05:47 +0000)
commitd9b1a6510529beaa92f30bc29e4ee17c79335fb5
tree2ac7298fa06fadc9e795579f094e7535674ed66a
parentb70321a200b768e57b211fce3f6926b2b29dee7f
Fix indexing of gdbserver section.

* gdb.texinfo (Server): Improve indexing.  Index all optional
switches to gdbserver.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo