On Sun, 17 Feb 2013, Tobias Burnus wrote: > 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.
If "we" means that you are volunteering ;-), absolutely, go for it! Give the release managers a day or two to protest, since for new releases it'll add a step for them. If there are no objections, please document this step in releasing.html . > 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). Yes. > One could consider to link it from both > http://gcc.gnu.org/onlinedocs/ (by making "GCC 4.7.2 manuals" linkable) Yes. > and from http://gcc.gnu.org/gcc-4.7/ (adding the link after "changes". Yes. (I wouldn't do it for the GCC main page as not to clutter that one too much.) I like the idea. Gerald
