This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH] Copy configure option documentation to gdb.texinfo
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Tom Tromey <tom at tromey dot com>
- Cc: gdb-patches at sourceware dot org
- Date: Sun, 30 Sep 2018 15:48:12 +0300
- Subject: Re: [PATCH] Copy configure option documentation to gdb.texinfo
- References: <20180930120114.27510-1-tom@tromey.com>
> From: Tom Tromey <tom@tromey.com>
> Cc: Tom Tromey <tom@tromey.com>
> Date: Sun, 30 Sep 2018 06:01:14 -0600
>
> I realized that while I'd updated the README, I didn't update
> gdb.texinfo to document the options to configure.
>
> This patch copies the text from README into gdb.texinfo, adding
> Texinfo markup.
>
> gdb/ChangeLog
> 2018-09-30 Tom Tromey <tom@tromey.com>
>
> * README: Minor change.
>
> gdb/doc/ChangeLog
> 2018-09-30 Tom Tromey <tom@tromey.com>
>
> * gdb.texinfo (Configure Options): Document configure options.
Thanks, this is OK.