* 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.

2 files changed, 28 insertions, 24 deletions

diff --git a/gdb/mi/ChangeLog b/gdb/mi/ChangeLog
index dd6399c5cd7..6065a4f9515 100644
--- a/gdb/mi/ChangeLog
+++ b/gdb/mi/ChangeLog
@@ -1,3 +1,7 @@
+2001-03-26  Eli Zaretskii  <eliz@is.elta.co.il>
+
+	* gdbmi.texinfo: Update copyright.  Change Permissions to GFDL.
+
 2001-03-20  Andrew Cagney  <ac131313@redhat.com>
 
 	* mi-cmd-disas.c (mi_cmd_disassemble): Initialize ``file_string''
diff --git a/gdb/mi/gdbmi.texinfo b/gdb/mi/gdbmi.texinfo
index f1773dcfe78..985ac71446a 100644
--- a/gdb/mi/gdbmi.texinfo
+++ b/gdb/mi/gdbmi.texinfo
@@ -8,27 +8,19 @@
 @c  @ifinfo
 @c  This file documents GDB/MI, a Machine Interface to GDB.
 
-@c  Copyright 2000 Free Software Foundation, Inc.
+@c  Copyright 2000, 2001 Free Software Foundation, Inc.
 @c  Contributed by Cygnus Solutions.
 
-@c  Permission is granted to make and distribute verbatim copies of this
-@c  manual provided the copyright notice and this permission notice are
-@c  preserved on all copies.
+@c  Permission is granted to copy, distribute and/or modify this document
+@c  under the terms of the GNU Free Documentation License, Version 1.1 or
+@c  any later version published by the Free Software Foundation; with the
+@c  Invariant Sections being ``The GDB/MI Interface'' and ``GGDB/MI
+@c  Command Syntax'', with the Front-Cover texts being ``A GNU Manual,''
+@c  and with the Back-Cover Texts as in (a) below.
 
-@c  @ignore
-@c  Permission is granted to process this file through TeX and print the
-@c  results, provided the printed document carries copying permission notice
-@c  identical to this one except for the removal of this paragraph (this
-@c  paragraph not being relevant to the printed manual).
-
-@c  @end ignore
-@c  Permission is granted to copy and distribute modified versions of this
-@c  manual under the conditions for verbatim copying, provided also that the
-@c  entire resulting derived work is distributed under the terms of a
-@c  permission notice identical to this one.
-
-@c  Permission is granted to copy and distribute translations of this manual
-@c  into another language, under the above conditions for modified versions.
+@c  (a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
+@c  this GNU Manual, like GNU software.  Copies published by the Free
+@c  Software Foundation raise funds for GNU development.''
 @c  @end ifinfo
 
 @c  @c  This title page illustrates only one of the
@@ -36,19 +28,27 @@
 
 @c  @titlepage
 @c  @title GDB/MI
-@c  @subtitle Version 0.2
-@c  @subtitle Feb 2000
+@c  @subtitle Version 0.3
+@c  @subtitle Apr 2001
 @c  @author Andrew Cagney, Fernando Nasser and Elena Zannoni
 
 @c  @c  The following two commands
 @c  @c  start the copyright page.
 @c  @page
 @c  @vskip 0pt plus 1filll
-@c  Permission is granted to make and distribute verbatim copies of this
-@c  manual provided the copyright notice and this permission notice are
-@c  preserved on all copies.
 
-@c  Copyright @copyright{} 2000, Free Software Foundation, Inc.
+@c  Copyright @copyright{} 2000, 2001 Free Software Foundation, Inc.
+
+@c  Permission is granted to copy, distribute and/or modify this document
+@c  under the terms of the GNU Free Documentation License, Version 1.1 or
+@c  any later version published by the Free Software Foundation; with the
+@c  Invariant Sections being ``The GDB/MI Interface'' and ``GGDB/MI
+@c  Command Syntax'', with the Front-Cover texts being ``A GNU Manual,''
+@c  and with the Back-Cover Texts as in (a) below.
+
+@c  (a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
+@c  this GNU Manual, like GNU software.  Copies published by the Free
+@c  Software Foundation raise funds for GNU development.''
 @c  @end titlepage
 
 @c %%%%%%%%%%%%%%%%%%%%%%%%%%%% CHAPTER %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%