GNAT Users Guide *online* ?

GNAT Users Guide *online* ?

[Toshitaka Kumano]

I appreciate to see GNAT Reference Manual *online*;
^[(B< http://gcc.gnu.org/onlinedocs/ > says
^[(B-- BEGIN
^[(B               GCC online documentation 
^[(B
^[(BLatest releases
^[(B
^[(BThese are manuals for the latest full releases.
^[(B
^[(B    GCC 3.1.1 manuals: 
^[(B(snip)
^[(B        GCC 3.1.1 GNAT Reference Manual (also in PostScript) 
^[(B-- END
^[(B
^[(B
^[(BOn the other hand, I cannot find "GNAT Users Guide" online; a simple guess
^[(B< http://gcc.gnu.org/onlinedocs/gcc-3.1.1/gnat_ug/ > makes "Not Found".
^[(B
^[(BWork in progress, or it is at other URL ?
^[(B
^[(BThank you.
^[(B-- 
^[(BToshitaka Kumano
^[(BKamakura, Japan

Re: GNAT Users Guide *online* ?

[Florian Weimer]

Toshitaka Kumano <kumano@cl.cilas.net> writes:

> On the other hand, I cannot find "GNAT Users Guide" online; a simple guess
> < http://gcc.gnu.org/onlinedocs/gcc-3.1.1/gnat_ug/ > makes "Not Found".

It's http://gcc.gnu.org/onlinedocs/gnat_ug_unx/ .  (Or "wnt" instead of
"unx" if you're interested in the Win32 version).

The manuals haven't changed between 3.1.1 and 3.3, AFAIK.

Re: GNAT Users Guide *online* ?

[Joe Buck]

> Toshitaka Kumano <kumano@cl.cilas.net> writes:
> 
> > On the other hand, I cannot find "GNAT Users Guide" online; a simple guess
> > < http://gcc.gnu.org/onlinedocs/gcc-3.1.1/gnat_ug/ > makes "Not Found".
> 
> 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.

Re: GNAT Users Guide *online* ?

[Toshitaka Kumano]

Joe Buck wrote:
> 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.

I agree absolutely !

-- 
Toshitaka Kumano
Kamakura, Japan

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>

Re: PATCH for Re: GNAT Users Guide *online* ?

[Toshitaka Kumano]

Gerald Pfeifer wrote:
> 
> 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.

Thank you for consideration.

However, I understand the cvs revision 1.1.2.2 of gcc/gcc/gcc/ada/gnat_ug.texi
has tags for "gcc_3_1_release", "gcc_3_1_1_release" and "gcc_3_2_release".

Please create and add, at least
  http://gcc.gnu.org/onlinedocs/gcc-3.2/gnat_ug/
  http://gcc.gnu.org/onlinedocs/gcc-3.1.1/gnat_ug/
as same as other online manuals for "Latest releases".

Excuse me if I understand wrongly.

-- 
Toshitaka Kumano
Kamakura, Japan

Re: PATCH for Re: GNAT Users Guide *online* ?

[Joseph S. Myers]

On Sat, 14 Sep 2002, Toshitaka Kumano wrote:

> However, I understand the cvs revision 1.1.2.2 of gcc/gcc/gcc/ada/gnat_ug.texi
> has tags for "gcc_3_1_release", "gcc_3_1_1_release" and "gcc_3_2_release".
> 
> Please create and add, at least
>   http://gcc.gnu.org/onlinedocs/gcc-3.2/gnat_ug/
>   http://gcc.gnu.org/onlinedocs/gcc-3.1.1/gnat_ug/
> as same as other online manuals for "Latest releases".

What's relevant is the generated file gnat_ug_unx.texi, which isn't in CVS
for those releases, not the source gnat_ug.texi.

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

Re: GNAT Users Guide *online* ?

[Toshitaka Kumano]

Florian Weimer wrote:
> It's http://gcc.gnu.org/onlinedocs/gnat_ug_unx/ .  (Or "wnt" instead of
> "unx" if you're interested in the Win32 version).

Oh. Thank you very much.

-- 
Toshitaka Kumano
Kamakura, Japan