2003-05-14  Theodore A. Roth  <troth@openavr.org>

	* doc/gdbint.texinfo: Correct a double negative.

Index: doc/gdbint.texinfo
===================================================================
RCS file: /cvs/src/src/gdb/doc/gdbint.texinfo,v
retrieving revision 1.144
diff -u -r1.144 gdbint.texinfo
--- doc/gdbint.texinfo	5 May 2003 17:56:57 -0000	1.144
+++ doc/gdbint.texinfo	14 May 2003 17:55:56 -0000
@@ -288,7 +288,7 @@
 breakpoints somehow; for instance, a ROM monitor may do its own
 software breakpoints.  So although these are not literally ``hardware
 breakpoints'', from @value{GDBN}'s point of view they work the same;
-@value{GDBN} need not do nothing more than set the breakpoint and wait
+@value{GDBN} need not do anything more than set the breakpoint and wait
 for something to happen.
 
 Since they depend on hardware resources, hardware breakpoints may be