From: Tom Tromey <tromey@redhat.com>
Date: Fri, 3 Jan 2003 18:04:25 +0000 (+0000)
Subject: gcj.texi (Standard Properties): Document http.proxyHost and http.proxyPort.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0320cac3d8844f8ea44a8e3a27dd75f385b12061;p=gcc.git

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 aa858e80ee0..de4370dbeb1 100644
--- 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 cb7ee692c7b..8a40b7739f0 100644
--- 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