Improve documentation of GDB build requirements and options
authorEli Zaretskii <eliz@gnu.org>
Wed, 5 Apr 2023 13:21:31 +0000 (16:21 +0300)
committerEli Zaretskii <eliz@gnu.org>
Wed, 5 Apr 2023 13:21:31 +0000 (16:21 +0300)
commit3401f947d8612ffad751fc71e7deda8613b6630e
tree06291b75fb68d783237ca1f4b64b40296ede49aa
parent59fa90bce591c47e0665286c464435e164fb5262
Improve documentation of GDB build requirements and options

MPFR is now mandatory, so its previous description in Requirements
was inappropriate and out of place.  In addition, the description
of how to go about specifying 'configure' time options for
building with libraries was highly repetitive.  Some of the text
was also outdated and used wrong markup.

Original patch and suggestions from Philippe Blain
<levraiphilippeblain@gmail.com>.

ChangeLog:
2023-04-05  Eli Zaretskii  <eliz@gnu.org>

* gdb/doc/gdb.texinfo (Requirements, Configure Options): Update and
rearrange; improve and fix markup.
gdb/doc/gdb.texinfo