[commit] use get_number for bookmarks

[Tom Tromey]

>>>>> "Michael" == Michael Snyder <msnyder@sonic.net> writes:

Michael> 2011-02-19  Michael Snyder  <msnyder@vmware.com>
Michael> 	* reverse.c (delete_one_bookmark): Argument is now bookmark
Michael> 	id rather than pointer to bookmark struct.
Michael> 	(delete_bookmark_command): Use get_number_or_range.
Michael> 	(goto_bookmark_command): Parse with get_number instead of strtoul.
Michael> 	(bookmark_1): New function.  Print info for one bookmark.
Michael> 	(bookmarks_info): Use get_number_or_range and bookmark_1.

I think this whole series needs updates to gdb.texinfo as well.

A NEWS entry saying that we regularized the syntax of ranges would be
nice.

I couldn't find "delete bookmark" in the manual at all.  Not your
problem, unless you feel like writing a patch ... :-)

Tom