Anthony DeRobertis wrote: > I hope we get as solution soon; however, at the moment, this appears to > be quite a valid bug. Using even marginally cautious standard of what > constitutes "a work based on [the Program] under Section 2 [of the > GPL]", the manuals qualify. Huh? Why do you think that running a document written in Texinfo through a Texinfo interpreter makes the document a derivative work of a (specific) Texinfo interpreter?