Hi,
I have committed the attached trivial patch in order to link directly to
the documentation of the developer version:
http://gcc.gnu.org/onlinedocs/#current
Tobias
PS: For releases, one can use "<version number>/" instead, e.g.
http://gcc.gnu.org/onlinedocs/4.7.2/
Index: index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/onlinedocs/index.html,v
retrieving revision 1.129
diff -u -r1.129 index.html
--- index.html 20 Sep 2012 10:17:30 -0000 1.129
+++ index.html 12 Mar 2013 16:55:05 -0000
@@ -734,7 +734,7 @@
</ul>
-<h2>Current development</h2>
+<h2 id="current">Current development</h2>
<p>Please note that the following documentation refers to <em>current
development</em>. Some information may not be applicable to any
