This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [patch] Share options between info and man page
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Mingjie Xing <mingjie dot xing at gmail dot com>
- Cc: gdb-patches at sourceware dot org
- Date: Mon, 09 Jun 2014 17:52:49 +0300
- Subject: Re: [patch] Share options between info and man page
- Authentication-results: sourceware.org; auth=none
- References: <CADNgcEyi=PBbjzgK3MA=FM8QjWXz_jv-KuXYe5b4-pu+LUY6xA at mail dot gmail dot com>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> From: Mingjie Xing <mingjie.xing@gmail.com>
> Date: Mon, 9 Jun 2014 16:39:53 +0800
>
> As we can see, gdb.texinfo has two separate option sections for info
> page and man page. This causes duplication and is hard to maintain.
> The patch removes the part in man page, and shares the sections from
> info page. Is it OK?
The text of these two portions is different, so you are actually
changing the man page contents. Also, the @node and @section lines
are probably inappropriate for a man page.