* gdbint.texinfo: Change Permissions to GFDL. Update Copyright.
authorEli Zaretskii <eliz@gnu.org>
Mon, 26 Mar 2001 11:51:50 +0000 (11:51 +0000)
committerEli Zaretskii <eliz@gnu.org>
Mon, 26 Mar 2001 11:51:50 +0000 (11:51 +0000)
commite9c75b65b11ff47a78c1c46c4a2a482f4d4b42fd
treec6baeed023b4d0b77f27d929358b801536a0e75e
parentb78a4f26bab8588fae7b42fe423b95e95255009d
* gdbint.texinfo: Change Permissions to GFDL.  Update Copyright.

* gdbgui.texinfo: Change Permissions to GFDL.  Update Copyright.
Replace "GDB" with "@value{GDBN}".  Fix markup.

* annotate.texi: Change Permissions to GFDL.  Update Copyright.

* gdb.texinfo: Change Permissions to GFDL.  Update Copyright.

* gdbmi.texinfo: Update copyright.  Change Permissions to GFDL.
gdb/doc/ChangeLog
gdb/doc/annotate.texi
gdb/doc/gdb.texinfo
gdb/doc/gdbgui.texinfo
gdb/doc/gdbint.texinfo
gdb/mi/ChangeLog
gdb/mi/gdbmi.texinfo