PATCH for Re: GNAT Users Guide *online* ?

[Gerald Pfeifer]

On Fri, 30 Aug 2002, Joe Buck wrote:
>> It's http://gcc.gnu.org/onlinedocs/gnat_ug_unx/.  (Or "wnt" instead of
>> "unx" if you're interested in the Win32 version).
> Right, but unlike with the other manuals, there's no link to this manual
> from the http://gcc.gnu.org/onlinedocs/ page.  Any doc that isn't linked
> to probably can't be found.

As nobody else apparently was interested to fix this, I now committed
the patch below.

Gerald

Index: index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/onlinedocs/index.html,v
retrieving revision 1.42
diff -u -3 -p -r1.42 index.html
--- index.html	15 Aug 2002 00:09:07 -0000	1.42
+++ index.html	12 Sep 2002 22:14:49 -0000
@@ -133,6 +133,10 @@ existing release.</p>
   <li><a href="http://gcc.gnu.org/onlinedocs/gnat_rm/">GNAT Reference Manual</a> (<a
          href="http://gcc.gnu.org/onlinedocs/gnat_rm.ps.gz">also in
          PostScript</a>)</li>
+  <li><a href="http://gcc.gnu.org/onlinedocs/gnat_ug_unx/">GNAT User's Guide
+       for Unix Platforms</a> (<a
+         href="http://gcc.gnu.org/onlinedocs/gnat_ug_unx.ps.gz">also in
+         PostScript</a>)</li>
   <li><a href="http://gcc.gnu.org/onlinedocs/cpp/">CPP Manual</a> (<a
          href="http://gcc.gnu.org/onlinedocs/cpp.ps.gz">also in
          PostScript</a>)</li>