GDB documentation in .info

[Tom Tromey]

>>>>> "christophe" == christophe jarry <christophe.jarry@ouvaton.org> writes:

christophe> I browsed your html documentation at
christophe> http://sourceware.org/gdb/current/onlinedocs/gdb/ and would like to
christophe> know if there is a way to obtain GDB documentation in .info format
christophe> from your website, as is proposed by almost all other software
christophe> projects from GNU (see http://www.gnu.org/software/gawk/manual/ for
christophe> example).

I don't think you can readily download the info files, but you can make
them easily enough by building gdb.  Also, your distro probably already
includes them.

Tom