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

Tom Tromey
2013-02-12T21:20:08Z

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.

This approach has worked ok for gcc for a long time now.

Tom