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? Do we agree that these should be removed from the tree? I'll do it if there are no objections. regards [ bryce ]