Index: ChangeLog
===================================================================
RCS file: /cvs/src/src/gdb/doc/ChangeLog,v
retrieving revision 1.866
diff -u -p -r1.866 ChangeLog
--- ChangeLog	18 Feb 2009 07:28:33 -0000	1.866
+++ ChangeLog	18 Feb 2009 19:43:24 -0000
@@ -1,5 +1,10 @@
 2009-02-18  Vladimir Prus  <vladimir@codesourcery.com>
 
+	* gdb.texinfo (GDB/MI Async Records): Add double-spaces
+	between sentences.
+
+2009-02-18  Vladimir Prus  <vladimir@codesourcery.com>
+
 	* gdb.texinfo (GDB/MI Async Records): Document the
 	=library-loaded and =library-unloaded notifications.
 
Index: gdb.texinfo
===================================================================
RCS file: /cvs/src/src/gdb/doc/gdb.texinfo,v
retrieving revision 1.559
diff -u -p -r1.559 gdb.texinfo
--- gdb.texinfo	18 Feb 2009 07:28:33 -0000	1.559
+++ gdb.texinfo	18 Feb 2009 19:43:26 -0000
@@ -19915,16 +19915,16 @@ that thread.
 @item =library-loaded,...
 Reports that a new library file was loaded by the program.  This
 notification has 4 fields---@var{id}, @var{target-name},
-@var{host-name}, and @var{symbols-loaded}. The @var{id} field is an
+@var{host-name}, and @var{symbols-loaded}.  The @var{id} field is an
 opaque identifier of the library.  For remote debugging case,
 @var{target-name} and @var{host-name} fields give the name of the
-library file on the target, and on the host respectively. For native
-debugging, both those fields have the same value. The
+library file on the target, and on the host respectively.  For native
+debugging, both those fields have the same value.  The
 @var{symbols-loaded} field reports if the debug symbols for this
 library are loaded.
 
 @item =library-unloaded,...
-Reports that a library was unloaded by the program. This notification
+Reports that a library was unloaded by the program.  This notification
 has 3 fields---@var{id}, @var{target-name} and @var{host-name} with
 the same meaning as for the @code{=library-loaded} notification