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

Eli Zaretskii
2013-02-13T17:42:27Z

> From: Tom Tromey <tromey@redhat.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, gdb-patches@sourceware.org
> Date: Tue, 12 Feb 2013 14:19:55 -0700
>
> Jan> It is in fact Tom's idea to make the man pages in texinfo:
>
> I think it is worth doing if it makes maintenance simpler at all.

I just don't see how it will make maintenance simpler. But I'm
prepared to be convinced ;-)