This is the mail archive of the
java@gcc.gnu.org
mailing list for the Java project.
Re: PATCH: Place manuals under the GDFL
- To: Mark Mitchell <mark at codesourcery dot com>
- Subject: Re: PATCH: Place manuals under the GDFL
- From: Tom Tromey <tromey at redhat dot com>
- Date: 01 May 2001 16:25:56 -0600
- Cc: gcc-patches at gcc dot gnu dot org, java at gcc dot gnu dot org, Toon Moene <toon at moene dot indiv dot nluug dot nl>
- References: <20010430153618U.mitchell@codesourcery.com>
- Reply-To: tromey at redhat dot com
>>>>> "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