This patch for the web pages at www.gnu.org/gdb simply updates the
index.sh there to match the one on sourceware.org, and then re-runs
the script on the files that expect it.

Sourceware thinks it's spam if I include the patch text directly, so
it's attached, compressed.  (This is take three, grr.)

Okay to commit?