Re: [patch] Share options between info and man page

Eli Zaretskii
2014-06-09T14:52:54Z

> 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.