>>>>> "Mark" == Mark Mitchell <mark@codesourcery.com> writes: Mark> I did not do the following manuals: Mark> java/*.texi I have a patch for this which I will check in shortly. Mark> libjava/doc/*.texi These texi files are derived from the source code. Can we really put a different license on them? Tom