This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Re: Patch: document GCJ_PROPERTIES
Tom Tromey wrote:
* gcj.texi (Extensions): Document GCJ_PROPERTIES.
OK for mainline and 3.4.
By the way, I noticed that the Extensions node contains an itemized list
of extensions, but you did not put this one in the list. Instead you
put it after the list. Maybe it should be part of the list also?
Otherwise, the resulting document might look a little funny.
--
Jim Wilson, GNU Tools Support, http://www.SpecifixInc.com