Patch to update Service instructions in gcc.texi

[Joseph S. Myers]

This patch updates the Service instructions in gcc.texi.  Hopefully
the new instructions given (gcc-help for help installing and using
GCC; gcc for help changing GCC; and the online bug reporting
instructions for reporting bugs) are more correct than the old ones
(gcc-bugs for any help request).  As there's a FAQ on this topic, the
patch makes the manual reference that FAQ as well.

It passes "make info".  OK to commit?

2000-11-07  Joseph S. Myers  <jsm28@cam.ac.uk>

	* gcc.texi (Service): Update to reflect current practice and
	location of the GNU service directory, and to point to the
	relevant FAQ.

--- gcc.texi.orig	Sat Nov  4 12:40:22 2000
+++ gcc.texi	Tue Nov  7 00:37:18 2000
@@ -2808,14 +2808,20 @@
 @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
+
+For further information, see
+@uref{ http://gcc.gnu.org/cgi-bin/fom.cgi?file=12} .

 @node Contributing
 @chapter Contributing to GCC Development

-- 
Joseph S. Myers
jsm28@cam.ac.uk