Documentation generated from sources proposal

[Jan Kratochvil <jan dot kratochvil at redhat dot com>]

Hi,

currently there is gdb/doc/gdbint.texinfo referencing gdb/ sources functions
and duplicating various comments in the gdb/*.c sources.  At the same time the
gdb/doc/gdbint.texinfo content is obsolete and one usually misses it when
dealing with the sources.

May the GDB project start using some tool to format documentation from the
sources?  One could move the appropriate parts of gdb/doc/gdbint.texinfo into
gdb/*.c along the patches being submitted, keeping in gdb/doc/gdbint.texinfo
only the abstract parts in the future.

This proposal was already discussed in the past.

Vote from me for gtk-doc, its plus is that it is a part of GNU project GTK.



Thanks,
Jan