PATCH: Place manuals under the GDFL

[Mark Mitchell]

>>>>> "Bryce" == Bryce McKinlay <bryce@waitaki.otago.ac.nz> writes:

    Bryce> Tom Tromey wrote:

    Mark> libjava/doc/*.texi
    >>  These texi files are derived from the source code.  Can we
    >> really put a different license on them?

    Bryce> Do we agree that these should be removed from the tree?
    Bryce> I'll do it if there are no objections.

That would sort-of solve the problem in that we wouldn't then be
distributing the manuals.  It would still be good to understand the
issues surrounding auto-generated manuals better.

And, in general, generated files shouldn't be in the source tree.

--
Mark Mitchell                   mark@codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com