[committed,wwwdata] Add id="current" to <h2>Current releases</h2> in gcc.gnu.org/onlinedocs/

Submitted by Tobias Burnus on March 12, 2013, 4:58 p.m.


Message ID 513F5EBE.4010802@net-b.de
State New
Headers show

Commit Message

Tobias Burnus March 12, 2013, 4:58 p.m.

I have committed the attached trivial patch in order to link directly to 
the documentation of the developer version:



PS: For releases, one can use "<version number>/" instead, e.g. 

Patch hide | download patch | download mbox

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 @@ 
-<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