[Bug web/53919] Version-specific install instructions not available

[schnetter at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53919

--- Comment #5 from Erik Schnetter <schnetter at gmail dot com> 2012-07-10 19:05:01 UTC ---
Yes, the isl changes are part of what I mean. Since the version-specific
install instructions are already there, they may as well be available on the
web, and/or the web could warn about such possible differences.