------- Additional Comments From gerald at pfeifer dot com 2005-05-21 23:24 ------- I installed a patch which makes "Download" a section of its own on the "Releases" page and directly link to that section from the navigation bar.
(This will take up to 24 hours to become active on the production server.) If this is not sufficient, we could consider creating a download page of its own, though this would add yet another level of indirection in many cases. Having a selectable list of releases which lead to a download site for that *particular* release seems beyond what we can do with acceptable effort. We'd have to do quite some scripting and regularily check every mirror site for every release, but not all mirrors are reachable from everywhere and always. -- What |Removed |Added ---------------------------------------------------------------------------- CC| |gerald at pfeifer dot com AssignedTo|unassigned at gcc dot gnu |gerald at pfeifer dot com |dot org | Status|UNCONFIRMED |ASSIGNED Ever Confirmed| |1 Last reconfirmed|0000-00-00 00:00:00 |2005-05-21 23:24:13 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21679