User's Guide: update GDB info
commite7f81c11c9da8bbe46ca953f41809811b0f47639
authorDavid Brownell <dbrownell@users.sourceforge.net>
Sat, 26 Dec 2009 18:35:24 +0000 (26 10:35 -0800)
committerDavid Brownell <dbrownell@users.sourceforge.net>
Sat, 26 Dec 2009 18:35:24 +0000 (26 10:35 -0800)
tree549aee7230b9dc664ebae12501f5ff95f41d412e
parentdf58812b528c9b7857d8bde8f3eea4ad46ed034f
User's Guide: update GDB info

Advise leaving background polling enabled; fix broken URL;
add simple program startup example.
doc/openocd.texi