On Mon, Aug 02, 2010 at 05:51:13PM -0700, Paul Koning wrote: > gcc and gccint docs are actually pretty reasonable. (Certainly gccint is > vastly better than some of its siblings, like gdbint.) But very little of it > is generated and very little of what comes to mind as possible subject matter > is suitable for being generated.
RMS explicitly blessed generated cross-references and the like under the GPL. So one way to move forward is to effectively have two manuals, one containing traditional user-written text (GFDL), the other containing generated text (GPL). If you print it out as a book, the generated part would just appear as an appendix to the manual, it's "mere aggregation".
