PATCH: more updates to the install notes

[Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>]

And on we go...

  Improve markup. Update reference to bug reporting instructions.

Installed.

Gerald

Index: finalinstall.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/install/finalinstall.html,v
retrieving revision 1.17
diff -3 -u -p -r1.17 finalinstall.html
--- finalinstall.html	2000/10/11 19:33:57	1.17
+++ finalinstall.html	2000/11/27 23:27:51
@@ -9,25 +9,24 @@
 `<code>cd <i>objdir</i>; make install</code>' for a native compiler or
 `<code>cd <i>objdir</i>; make install LANGUAGES="c c++"</code>' for
 a cross compiler (note installing cross compilers will be easier in the
-next release!).
+next release!).</p>

-
 <p>That step completes the installation of GCC; user level binaries can
 be found in <i>prefix</i>/bin where <i>prefix</i> is the value you specified
-with the --prefix to configure (or /usr/local by default).
+with the --prefix to configure (or /usr/local by default).</p>

 <p>If you don't mind, please quickly review the <a
 href="http://gcc.gnu.org/gcc-2.95/buildstat.html">build status page</a>.
 If your system is not listed, send a note to
 <a href="mailto:gcc@gcc.gnu.org">gcc@gcc.gnu.org</a> indicating
-that you successfully built and installed GCC.
+that you successfully built and installed GCC.</p>

-Include the output from running <i>srcdir</i>/config.guess.  (Do not
+<p>Include the output from running <i>srcdir</i>/config.guess.  (Do not
 send us the config.guess file itself, just the output from running
-it!)
+it!)</p>

 <p>If you find a bug, please report it following our <a
-href="../faq.html#bugreport">bug reporting guidelines</a>.
+href="../bugs.html">bug reporting guidelines</a>.</p>

 <hr>
 <p><a href="./index.html">Return to the GCC Installation page</a></p>