diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9625f27804b60ca2f29ab7497249c736b9e37b8c..6d995eaa7282a6d0720bf3845ccacd9a2f8ea3ec 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2000-11-10  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+	* gcc.texi (Service): Update to reflect current practice and
+	location of the GNU service directory.
+
 2000-11-09  Bernd Schmidt  <bernds@redhat.co.uk>
 
 	* regrename.c (build_def_use): Mark contents of REG_INC notes as
diff --git a/gcc/gcc.texi b/gcc/gcc.texi
index c7cd04d6ef0fb2427fb05b61b7933ebfefb1ea5e..6e8972ab063c9bd82e9b9adf27a133f56c801a62 100644
--- a/gcc/gcc.texi
+++ b/gcc/gcc.texi
@@ -2808,15 +2808,23 @@ ways to find it:
 @itemize @bullet
 @item
 Send a message to a suitable network mailing list.  First try
-@email{gcc-bugs@@gcc.gnu.org} or @email{bug-gcc@@gnu.org}, and if that
-brings no response, try @email{gcc@@gcc.gnu.org}.
+@email{gcc-help@@gcc.gnu.org} (for help installing or using GCC), and if
+that brings no response, try @email{gcc@@gcc.gnu.org}.  For help
+changing GCC, ask @email{gcc@@gcc.gnu.org}.  If you think you have found
+a bug in GCC, please report it following the instructions at
+@uref{http://gcc.gnu.org/bugs.html}.
 
 @item
 Look in the service directory for someone who might help you for a fee.
-The service directory is found in the file named @file{SERVICE} in the
-GCC distribution.
+The service directory is found at
+@uref{http://www.gnu.org/prep/service.html}.
 @end itemize
 
+@c For further information, see
+@c @uref{http://gcc.gnu.org/cgi-bin/fom.cgi?file=12}.
+@c FIXME: this URL may be too volatile, this FAQ entry needs to move to
+@c the regular web pages before we can uncomment the reference.
+
 @node Contributing
 @chapter Contributing to GCC Development