[RFA] doc/gdbint.texinfo: Add describtion for readline library

[Markus Deuling]

Hello,

I re-sent this patch because of a missing line-break in the first one.

The following patch removes chapter 12.4 "mmalloc" library because there is no such library
and adds a line which describes "readline" library in 12.3.

Is it ok to apply?

ChangeLog:

       * gdbint.texinfo (Support Libraries): Remove mmalloc
       entry. Describe readline library.

=============================================== 
diff -urN src/gdb/doc/gdbint.texinfo dev/gdb/doc/gdbint.texinfo
--- src/gdb/doc/gdbint.texinfo  2007-01-01 15:04:18.000000000 +0100
+++ dev/gdb/doc/gdbint.texinfo  2007-01-04 09:52:43.000000000 +0100
@@ -4906,7 +4906,8 @@

 @section readline

-@section mmalloc
+The readline library provides a set of functions for use by applications
+that allow users to edit command lines as they are typed in.

 @section libiberty
 @cindex @code{libiberty} library


Regards,
Markus

-- 
Markus Deuling
GNU Toolchain for Linux on Cell BE
deuling@de.ibm.com