[patch+doc] New gdbinit.5 man page

Eli Zaretskii eliz@gnu.org
Tue Feb 12 16:11:00 GMT 2013


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



More information about the Gdb-patches mailing list