On Sat, 11 Apr 2015, Arnaud Charlet wrote:
> Your patch looks good to me.
Thanks for the quick response, Arnaud.
It turns out we also had the same problem with mainline, just
that gnat_ugn_unw/ still existed there in it's old version from
summer 2014.
I have removed that stale copy on gcc.gnu.org and also applied
the patch below to our onlinedocs/ index.
Gerald
Index: index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/onlinedocs/index.html,v
retrieving revision 1.148
diff -u -r1.148 index.html
--- index.html 11 Apr 2015 13:50:22 -0000 1.148
+++ index.html 11 Apr 2015 13:52:37 -0000
@@ -944,12 +944,12 @@
href="https://gcc.gnu.org/onlinedocs/gnat_rm.ps.gz";>PostScript</a>
or <a
href="https://gcc.gnu.org/onlinedocs/gnat_rm-html.tar.gz";>an
HTML tarball</a>)</li>
- <li><a href="https://gcc.gnu.org/onlinedocs/gnat_ugn_unw/";>GNAT User's
Guide
+ <li><a href="https://gcc.gnu.org/onlinedocs/gnat_ugn/";>GNAT User's Guide
for Native Platforms / Unix and Windows</a> (<a
- href="https://gcc.gnu.org/onlinedocs/gnat_ugn_unw.pdf";>also in
+ href="https://gcc.gnu.org/onlinedocs/gnat_ugn.pdf";>also in
PDF</a> or <a
-
href="https://gcc.gnu.org/onlinedocs/gnat_ugn_unw.ps.gz";>PostScript</a> or <a
- href="https://gcc.gnu.org/onlinedocs/gnat_ugn_unw-html.tar.gz";>an
+ href="https://gcc.gnu.org/onlinedocs/gnat_ugn.ps.gz";>PostScript</a>
or <a
+ href="https://gcc.gnu.org/onlinedocs/gnat_ugn-html.tar.gz";>an
HTML tarball</a>)</li>
<li><a href="https://gcc.gnu.org/onlinedocs/gccgo/";>GCCGO Manual</a> (<a
href="https://gcc.gnu.org/onlinedocs/gccgo.pdf";>also in
