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

1 files changed, 17 insertions, 26 deletions

diff --git a/gdb/doc/annotate.texi b/gdb/doc/annotate.texi
index 4e84878..2a5a8bc 100644
--- a/gdb/doc/annotate.texi
+++ b/gdb/doc/annotate.texi
@@ -8,32 +8,23 @@
 @c  @set EDITION 0.5
 @c  @set DATE May 1994
 
-@c  @ifinfo
-@c  This file documents GDB annotations.
-
-@c  This is Edition @value{EDITION}, @value{DATE}, of @cite{GDB
-@c  Annotations}.  Copyright 1994, 1995, 2000 Free Software Foundation, Inc.
-
-@c  Permission is granted to make and distribute verbatim copies of
-@c  this manual provided the copyright notice and this permission notice
-@c  are preserved on all copies.
-@c  @end ignore
+@c @ifinfo
+@c This file documents GDB annotations.
 
-@c  @ignore
-@c  Permission is granted to process this file through TeX and print the
-@c  results, provided the printed document carries copying permission
-@c  notice identical to this one except for the removal of this paragraph
-@c  (this paragraph not being relevant to the printed manual).
+@c This is Edition @value{EDITION}, @value{DATE}, of @cite{GDB
+@c Annotations}.  Copyright 1994,1995,2000,2001 Free Software Foundation, Inc.
 
-@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, 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 ``Annotations Overview'' and ``Source
+@c Annotations'', with the Front-Cover texts being ``A GNU Manual,''
+@c and with the Back-Cover Texts as in (a) below.
 
-@c  Permission is granted to copy and distribute translations of this manual
-@c  into another language, under the above conditions for modified versions.
-@c  @end ifinfo
+@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  @titlepage
 @c  @title GDB Annotations
@@ -46,7 +37,7 @@
 @c  this manual provided the copyright notice and this permission notice
 @c  are preserved on all copies.
 
-@c  Copyright @copyright{} 1994 Free Software Foundation
+@c  Copyright @copyright{} 1994,1995,2000,2001 Free Software Foundation
 @c  @end titlepage
 
 @c  @ifinfo
@@ -59,8 +50,8 @@
 @chapter @value{GDBN} Annotations
 
 This chapter describes annotations in @value{GDBN}.  Annotations are
-designed to interface @value{GDBN} to graphical user interfaces or other
-similar programs which want to interact with @value{GDBN} at a
+designed to interface @value{GDBN} to graphical user interfaces or
+other similar programs which want to interact with @value{GDBN} at a
 relatively high level.
 
 @ignore