Re: [patch+doc] New gdbinit.5 man page

Eli Zaretskii
2013-02-12T16:11:58Z

> Date: Mon, 11 Feb 2013 21:14:01 +0100
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
>
> the primary goal is to add a new infrastructure so that man pages can be
> generated from gdb.texinfo, like src/binutils/doc/ does.

I do not necessarily object, but what would be the purpose of this?
Why is this better than maintaining man pages in their roff format?