This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
PATCH for Re: GNAT Users Guide *online* ?
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- To: Joe Buck <Joe dot Buck at synopsys dot com>
- Cc: Florian Weimer <fw at deneb dot enyo dot de>, Toshitaka Kumano <kumano at cl dot cilas dot net>, <gcc at gcc dot gnu dot org>, <gcc-patches at gcc dot gnu dot org>
- Date: Fri, 13 Sep 2002 00:15:57 +0200 (CEST)
- Subject: PATCH for Re: GNAT Users Guide *online* ?
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>