Documentation generated from sources proposal

[Tom Tromey]

>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:

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

I would like to do this, but my understanding is that there is a
licensing problem, in that the source is GPL and the documentation is
GFDL.  (Joseph Myers has mentioned this several times on the GCC lists.)

Until that is resolved I don't think any progress can be made here.

Apparently we got some kind of special permission for observer.texi, so
I suppose it is possible in principle.

Tom