gcj.texi (Standard Properties): Document http.proxyHost and http.proxyPort.

	* gcj.texi (Standard Properties): Document http.proxyHost and
	http.proxyPort.

From-SVN: r60844

diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog
index aa858e80ee0a2d9d495aa489a3119ea1246fe6cd..de4370dbeb120485350e156f3843b7b86ad4b440 100644 (file)
--- a/gcc/java/ChangeLog
+++ b/gcc/java/ChangeLog
@@ -1,5 +1,8 @@
 2003-01-03  Tom Tromey  <tromey@redhat.com>
 
+       * gcj.texi (Standard Properties): Document http.proxyHost and
+       http.proxyPort.
+
        * gcj.texi (GNU Classpath Properties): Document new properties.
 
 2003-01-02  Steven Bosscher <s.bosscher@student.tudelft.nl>

diff --git a/gcc/java/gcj.texi b/gcc/java/gcj.texi
index cb7ee692c7bc70a72f0f47664a1046c5a3aede5a..8a40b7739f0b8350a319055260b09d0aedacb4fd 100644 (file)
--- a/gcc/java/gcj.texi
+++ b/gcc/java/gcj.texi
@@ -2151,6 +2151,12 @@ Returned by @code{java.awt.Window.getWarningString()} when the window is
 The class name used for initializing the default @code{java.awt.Toolkit}. 
 Defaults to @code{gnu.awt.gtk.GtkToolkit}.
 
+@item http.proxyHost
+Name of proxy host for http connections.
+
+@item http.proxyPort
+Port number to use when a proxy host is in use.
+
 @end table
 
 @node GNU Classpath Properties