Version specific onlinedocs page

[Tobias Burnus]

Dear all, hello Gerald,

I wonder if we could generate a version-specific page for the online 
documentation. I think that should be trivial to maintain and I know at 
least one vendor who would use it.

Namely, to place an "index.html" into, e.g., 
http://gcc.gnu.org/onlinedocs/gcc-4.7.2/ which contains the 
version-specific block which is also under 
http://gcc.gnu.org/onlinedocs/ (see example at the bottom). One could 
consider to link it from both http://gcc.gnu.org/onlinedocs/ (by making 
"GCC 4.7.2 manuals" linkable) and from http://gcc.gnu.org/gcc-4.7/ 
(adding the link after "changes".

What do you think?

Tobias


<h1>GCC 4.7.2 manuals</h1>

  * GCC 4.7.2 Manual (also in PDF or PostScript or an HTML tarball)
  * GCC 4.7.2 GNU Fortran Manual (also in PDF or PostScript or an HTML
    tarball)
  * GCC 4.7.2 GCJ Manual (also in PDF or PostScript or an HTML tarball)
  * GCC 4.7.2 CPP Manual (also in PDF or PostScript or an HTML tarball)
  * GCC 4.7.2 GNAT Reference Manual (also in PDF or PostScript or an
    HTML tarball)
  * GCC 4.7.2 GNAT User's Guide (also in PDF or PostScript or an HTML
    tarball)
  * GCC 4.7.2 Standard C++ Library Manual (also in PDF or XML or an HTML
    tarball)
  * GCC 4.7.2 Standard C++ Library Reference Manual (also in PDF or XML
    or an HTML tarball)
  * GCCGO 4.7.2 Manual (also in PDF or PostScript or an HTML tarball)
  * GCC 4.7.2 GNU OpenMP Manual (also in PDF or PostScript or an HTML
    tarball)
  * GCC 4.7.2 Quad-Precision Math Library Manual (also in PDF or
    PostScript or an HTML tarball)
  * Texinfo sources of all the GCC 4.7.2 manuals