FINALLY! I believe that the GDB pages at the gnu.org site are now in sync with the ones at sourceware.org. Let me know if you spot any issue. GDB contributors, make sure to verify that I update the gnu.org site after you've committed some changes to the web pages. I might miss a patch when I'm in a crunch. Thanks! Enjoy, -- Joel