gcj.texi (Standard properties): Change default of java.awt.toolkit to gnu.awt.gtk...

2002-10-03  Michael Koch  <konqueror@gmx.de>

	* gcj.texi (Standard properties):
	Change default of java.awt.toolkit to gnu.awt.gtk.GtkToolkit.

From-SVN: r57819

diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog
index 1c1c1d09154c0be1d424cc21f6c3afe308a8a1f1..e3f1c69c16e06e26302cc2dad84d76e32351e136 100644 (file)
--- a/gcc/java/ChangeLog
+++ b/gcc/java/ChangeLog
@@ -1,3 +1,8 @@
+2002-10-03  Michael Koch  <konqueror@gmx.de>
+
+       * gcj.texi (Standard properties):
+       Change default of java.awt.toolkit to gnu.awt.gtk.GtkToolkit.
+
 2002-10-02  Roger Sayle  <roger@eyesopen.com>
 
        PR optimization/6627

diff --git a/gcc/java/gcj.texi b/gcc/java/gcj.texi
index a3cc25a201e964d66b5e0381cca24856371baf04..ab9051dc5afd06a6acbbbaf6bf3045c0b040c8d0 100644 (file)
--- a/gcc/java/gcj.texi
+++ b/gcc/java/gcj.texi
@@ -2117,7 +2117,7 @@ Returned by @code{java.awt.Window.getWarningString()} when the window is
 
 @item awt.toolkit
 The class name used for initializing the default @code{java.awt.Toolkit}. 
-Defaults to @code{gnu.java.awt.peer.gtk.GtkToolkit}.
+Defaults to @code{gnu.awt.gtk.GtkToolkit}.
 
 @end table