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

[Markus Deuling]

Hello,

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:07.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