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

7 files changed, 245 insertions, 253 deletions

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index a6dcf50..60a249f 100644
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,5 +1,14 @@
 2001-03-26  Eli Zaretskii  <eliz@is.elta.co.il>
 
+	* gdb.texinfo: Change Permissions to GFDL.  Update Copyright.
+
+	* 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 (Output Formats): Mention "info symbol" and provide
 	a cross-reference to its description.
 	(Symbols): Document "info symbol".
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
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 18a123b..865b5de 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -28,10 +28,10 @@
 @syncodeindex fn cp
 
 @c !!set GDB manual's edition---not the same as GDB version!
-@set EDITION Eighth
+@set EDITION Ninth
 
 @c !!set GDB manual's revision date
-@set DATE March 2000
+@set DATE April 2001
 
 @c THIS MANUAL REQUIRES TEXINFO 3.12 OR LATER.
 
@@ -50,26 +50,19 @@ This is the @value{EDITION} Edition, @value{DATE},
 of @cite{Debugging with @value{GDBN}: the @sc{gnu} Source-Level Debugger}
 for @value{GDBN} Version @value{GDBVN}.
 
-Copyright (C) 1988-2000 Free Software Foundation, Inc.
-
-Permission is granted to make and distribute verbatim copies of
-this manual provided the copyright notice and this permission notice
-are preserved on all copies.
-
-@ignore
-Permission is granted to process this file through TeX and print the
-results, provided the printed document carries copying permission
-notice identical to this one except for the removal of this paragraph
-(this paragraph not being relevant to the printed manual).
+Copyright (C) 1988,1989,1990,1991,1992,1993,1994,1995,1996,1998,1999,2000,2001
+   Free Software Foundation, Inc.
 
-@end ignore
-Permission is granted to copy and distribute modified versions of this
-manual under the conditions for verbatim copying, provided also that the
-entire resulting derived work is distributed under the terms of a
-permission notice identical to this one.
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License, Version 1.1 or
+any later version published by the Free Software Foundation; with the
+Invariant Sections being ``A Sample GDB Session'' and ``Free
+Software'', with the Front-Cover texts being ``A GNU Manual,'' and
+with the Back-Cover Texts as in (a) below.
 
-Permission is granted to copy and distribute translations of this manual
-into another language, under the above conditions for modified versions.
+(a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
+this GNU Manual, like GNU software.  Copies published by the Free
+Software Foundation raise funds for GNU development.''
 @end ifinfo
 
 @titlepage
@@ -89,24 +82,24 @@ into another language, under the above conditions for modified versions.
 @end tex
 
 @vskip 0pt plus 1filll
-Copyright @copyright{} 1988-2000 Free Software Foundation, Inc. 
+Copyright @copyright{} 1988,1989,1990,1991,1992,1993,1994,1995,1996,1998,1999,2000,2001
+   Free Software Foundation, Inc.
 @sp 2
 Published by the Free Software Foundation @*
 59 Temple Place - Suite 330, @*
 Boston, MA 02111-1307 USA @*
 ISBN 1-882114-77-9 @*
-                
-Permission is granted to make and distribute verbatim copies of
-this manual provided the copyright notice and this permission notice
-are preserved on all copies.
-
-Permission is granted to copy and distribute modified versions of this
-manual under the conditions for verbatim copying, provided also that the
-entire resulting derived work is distributed under the terms of a
-permission notice identical to this one.
-
-Permission is granted to copy and distribute translations of this manual
-into another language, under the above conditions for modified versions.
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License, Version 1.1 or
+any later version published by the Free Software Foundation; with the
+Invariant Sections being ``A Sample GDB Session'' and ``Free
+Software'', with the Front-Cover texts being ``A GNU Manual,'' and
+with the Back-Cover Texts as in (a) below.
+
+(a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
+this GNU Manual, like GNU software.  Copies published by the Free
+Software Foundation raise funds for GNU development.''
 @end titlepage
 @page
 
@@ -120,7 +113,7 @@ This file describes @value{GDBN}, the @sc{gnu} symbolic debugger.
 This is the @value{EDITION} Edition, @value{DATE}, for @value{GDBN} Version
 @value{GDBVN}.
 
-Copyright (C) 1988-2000 Free Software Foundation, Inc.
+Copyright (C) 1988-2001 Free Software Foundation, Inc.
 
 @menu
 * Summary::                     Summary of @value{GDBN}
diff --git a/gdb/doc/gdbgui.texinfo b/gdb/doc/gdbgui.texinfo
index 6618f73..0ea150b 100644
--- a/gdb/doc/gdbgui.texinfo
+++ b/gdb/doc/gdbgui.texinfo
@@ -1,7 +1,7 @@
 \input texinfo      @c -*-texinfo-*-
-@c Copyright 1988 1989 1990 1991 1992 1993 1994 Free Software Foundation, Inc.
+@c Copyright 1994, 1995, 2001 Free Software Foundation, Inc.
 @c
-@c %**start of header 
+@c %**start of header
 @c makeinfo ignores cmds prev to setfilename, so its arg cannot make use
 @c of @set vars.  However, you can override filename with makeinfo -o.
 @setfilename gdb.info
@@ -32,52 +32,41 @@
 @syncodeindex vr cp
 
 @c !!set GDB manual's edition---not the same as GDB version!
-@set EDITION 4.13
+@set EDITION 4.14
 
 @c !!set GDB manual's revision date
-@set DATE January 1995
+@set DATE April 2001
 
 @c THIS MANUAL REQUIRES TEXINFO-2 macros and info-makers to format properly.
 
-@ifinfo
-@c This is a dir.info fragment to support semi-automated addition of
-@c manuals to an info tree.  zoo@cygnus.com is developing this facility.
-@format
+@dircategory Programming & development tools
+@direntry
 START-INFO-DIR-ENTRY
 * Gdb: (gdb).                     The GNU debugger.
 END-INFO-DIR-ENTRY
-@end format
-@end ifinfo
+@end direntry
 @c
 @c
 @ifinfo
 This file documents the graphical interface to the GNU debugger @value{GDBN}.
 
 
-This is Edition @value{EDITION}, @value{DATE}, 
+This is Edition @value{EDITION}, @value{DATE},
 of @cite{Using the Graphical Interface to @value{GDBN}}
 for GDB Version @value{GDBVN}.
 
-Copyright (C) 1994, 1995 Free Software Foundation, Inc.
-
-Permission is granted to make and distribute verbatim copies of
-this manual provided the copyright notice and this permission notice
-are preserved on all copies.
+Copyright (C) 1994, 1995, 2001 Free Software Foundation, Inc.
 
-@ignore
-Permission is granted to process this file through TeX and print the
-results, provided the printed document carries copying permission
-notice identical to this one except for the removal of this paragraph
-(this paragraph not being relevant to the printed manual).
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License, Version 1.1 or
+any later version published by the Free Software Foundation; with the
+Invariant Sections being ``Using the Graphical Interface to ``GDB'' and
+``Starting up GUI GDB'', with the Front-Cover texts being ``A GNU
+Manual,'' and with the Back-Cover Texts as in (a) below.
 
-@end ignore
-Permission is granted to copy and distribute modified versions of this
-manual under the conditions for verbatim copying, provided also that the
-entire resulting derived work is distributed under the terms of a
-permission notice identical to this one.
-
-Permission is granted to copy and distribute translations of this manual
-into another language, under the above conditions for modified versions.
+(a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
+this GNU Manual, like GNU software.  Copies published by the Free
+Software Foundation raise funds for GNU development.''
 @end ifinfo
 
 @titlepage
@@ -89,11 +78,11 @@ into another language, under the above conditions for modified versions.
 @sp 1
 @subtitle Edition @value{EDITION}, for @value{GDBN} version @value{GDBVN}
 @subtitle @value{DATE}
-@author Stanley T. Shebs
+@author Stanley T.@: Shebs
 @page
 @tex
 {\parskip=0pt
-\hfill (Send bugs and comments on @value{GDBN} to bug-gdb\@prep.ai.mit.edu.)\par
+\hfill (Send bugs and comments on @value{GDBN} to bug-gdb\@gnu.org.)\par
 \hfill {\it Debugging with @value{GDBN}}\par
 \hfill \TeX{}info \texinfoversion\par
 \hfill doc\@cygnus.com\par
@@ -101,20 +90,19 @@ into another language, under the above conditions for modified versions.
 @end tex
 
 @vskip 0pt plus 1filll
-Copyright @copyright{} 1994, 1995 Free Software Foundation, Inc. 
+Copyright @copyright{} 1994, 1995, 2001 Free Software Foundation, Inc.
 @sp 2
 
-Permission is granted to make and distribute verbatim copies of
-this manual provided the copyright notice and this permission notice
-are preserved on all copies.
-
-Permission is granted to copy and distribute modified versions of this
-manual under the conditions for verbatim copying, provided also that the
-entire resulting derived work is distributed under the terms of a
-permission notice identical to this one.
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License, Version 1.1 or
+any later version published by the Free Software Foundation; with the
+Invariant Sections being ``Using the Graphical Interface to ``GDB'' and
+``Starting up GUI GDB'', with the Front-Cover texts being ``A GNU
+Manual,'' and with the Back-Cover Texts as in (a) below.
 
-Permission is granted to copy and distribute translations of this manual
-into another language, under the above conditions for modified versions.
+(a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
+this GNU Manual, like GNU software.  Copies published by the Free
+Software Foundation raise funds for GNU development.''
 @end titlepage
 @page
 
@@ -136,79 +124,73 @@ When running as a Unix program and using the X11-based interface,
 you must of course be using an X server and/or workstation,
 and your @code{DISPLAY} environment variable must be set correctly.
 If either of these is not true, then @value{GDBN} will still start up,
-but will use only the traditional command interface.
+zbut will use only the traditional command interface.
 
 The exact layout and appearance of the windows will depend on the host
-system type.  For instance, GDB under Windows will display its windows
-inside a larger window, while under Unix/X, each window is a separate
-toplevel window.  However, general behavior and layout is consistent
-across all platforms; omissions or restrictions on particular platforms,
-if not documented as unavoidable, should be considered bugs and
-reported.
-
-All GDB windows have a common structure.  Each window has an associated
-menu bar, which may be at the top of the window or perhaps elsewhere.
-Some of the menus and menu items in the menu bar are common to all GDB
-windows, while others are specific to particular types of windows.
-Below the menu bar is the working data area of the window.  If the data
-is too large to display all at once, the data area will have scroll bars
-on its right and bottom sides.  Below the data area are two optional
-features; a status/data line, and a button box.
+system type.  For instance, @value{GDBN} on MS-Windows will display
+its windows inside a larger window, while on X on a GNU/Linux or a
+Unix machine, each window is a separate toplevel window.  However,
+general behavior and layout is consistent across all platforms;
+omissions or restrictions on particular platforms, if not documented
+as unavoidable, should be considered bugs and reported.
+
+All @value{GDBN} windows have a common structure.  Each window has an
+associated menu bar, which may be at the top of the window or perhaps
+elsewhere.  Some of the menus and menu items in the menu bar are
+common to all @value{GDBN} windows, while others are specific to
+particular types of windows.  Below the menu bar is the working data
+area of the window.  If the data is too large to display all at once,
+the data area will have scroll bars on its right and bottom sides.
+Below the data area are two optional features; a status/data line, and
+a button box.
 
 @section Menus
 
 @subsection File Menu
 
 The standard file menu provides operations that affect the overall state
-of GDB, mainly file operations, but other things as well.
-
-About GDB...
-
-Displays the startup window for GDB.
-
-File...
-
-Lets you set the combined executable and symbol file that GDB will use.
-(Like "file".)
+of @value{GDBN}, mainly file operations, but other things as well.
 
-Target...
+@table @code
+@item About @value{GDBN}...
+Displays the startup window for @value{GDBN}.
 
-Brings up a dialog that you can use to connect GDB to a target program.
-The dialog is described in more depth later.
-(Like "target".)
+@item File...
+Lets you set the combined executable and symbol file that @value{GDBN}
+will use.  (Like the @samp{file} command in the command-line version
+of @value{GDBN}.)
 
-Edit...
+@item Target...
+Brings up a dialog that you can use to connect @value{GDBN} to a
+target program.  The dialog is described in more depth later.  (Like
+the @samp{target} command.)
 
+@item Edit...
 Starts up an editor to modify the source file being displayed.
 
-Exec File...
+@item Exec File...
+Lets you set the executable file that @value{GDBN} will use.
+(Like the @samp{exec-file} command.)
 
-Lets you set the executable file that GDB will use.
-(Like "exec-file".)
-
-Symbol File...
-
-Lets you set the symbol file that GDB will use.
-(Like "symbol-file".)
-
-Add Symbol File...
+@item Symbol File...
+Lets you set the symbol file that @value{GDBN} will use.
+(Like the @samp{symbol-file} command.)
 
+@item Add Symbol File...
 Lets you add additional symbol files.
-(Like "add-symbol-file".)
-
-Core File...
+(Like the @samp{add-symbol-file} command.)
 
-Lets you set the core file that GDB will use.
-(Like "core-file".)
+@item Core File...
+Lets you set the core file that @value{GDBN} will use.
+(Like the @samp{core-file} command.)
 
-Shared Libraries...
+@item Shared Libraries...
+(Like the @samp{sharedlibrary} command.)
 
-(Like "sharedlibrary".)
-
-Quit
-
-quits GDB.
-(Like @samp{quit}.)
+@item Quit
+Quits @value{GDBN}.
+(Like the @samp{quit} command.)
+@end table
 
 
 @c @subsection Commands Menu
@@ -216,29 +198,32 @@ quits GDB.
 @c The commands menu consists of items that let you run and control the program being
 @c debugged.
 @c 
-@c Run
+@c @table @code
+@c @item Run
 @c 
-@c Step
+@c @item Step
 @c 
-@c Next
+@c @item Next
 @c 
-@c Finish
+@c @item Finish
 @c 
-@c Stepi
+@c @item Stepi
 @c 
-@c Nexti
+@c @item Nexti
 
 @subsection Windows Menu
 
-The windows menu allows access to all the windows available in GDB.
-The first part of the menu lists all of the predefined individual windows.
-If the window exists already, its item will be marked as such;
-selecting the item will cause the window to be put in front if it is
-obscured.  If it does not exist, then it will be created.
+The @samp{Windows} menu allows access to all the windows available in
+@value{GDBN}.  The first part of the menu lists all of the predefined
+individual windows.  If the window exists already, its item will be
+marked as such; selecting the item will cause the window to be put in
+front if it is obscured.  If it does not exist, then it will be
+created.
 
 The second part of the menu lists additional windows that you may have
 created, such as source windows or variable displays.
 
+@display
 Command
 ---
 Source
@@ -250,68 +235,77 @@ Variables
 Files
 @c ---
 @c <extra windows>
+@end display
 
 @subsection View Menu
 
-All windows have a view menu, but its contents are highly specific to
-window type.  For instance, a source window will have a view menu item
-to control the display of line numbers, but a register window will instead
-have an option to choose the radix in which to display register contents.
-You can find the full description of view options with each window type.
+All windows have a @samp{view} menu, but its contents are highly
+specific to window type.  For instance, a source window will have a
+view menu item to control the display of line numbers, but a register
+window will instead have an option to choose the radix in which to
+display register contents.  You can find the full description of view
+options with each window type.
 
 @subsection Help Menu
 
-The help menu includes access to GDB's online help.
+The @samp{Help} menu includes access to @value{GDBN}'s online help.
 
 @section Windows
 
 @subsection Command Window
 
-The command window provides access to the standard GDB command
-interpreter.  In nearly all cases, commands typed into this window
-will behave exactly as for a non-windowing GDB. 
+The @samp{Command} window provides access to the standard @value{GDBN}
+command interpreter.  In nearly all cases, commands typed into this
+window will behave exactly as for a non-windowing @value{GDBN}.
 
-Note that not all changes to GDB will be reflected in this window.  For instance,
-if you were to type a "step" command, then click on the "step" menu item in
-the source window, then go back, and type another "step" command, the command
-buffer will only show two steps, when you have actually done three.  GDB will
-put a "..." into the command buffer when operations in other windows are done,
-as a reminder that the command buffer is incomplete.
+Note that not all changes to @value{GDBN} will be reflected in this
+window.  For instance, if you were to type a @samp{step} command, then
+click on the @samp{step} menu item in the source window, then go back,
+and type another @samp{step} command, the command buffer will only
+show two steps, when you have actually done three.  @value{GDBN} will
+put a ``@dots'' into the command buffer when operations in other
+windows are done, as a reminder that the command buffer is incomplete.
 
 @c Also note that as a side effect of having the interface and possibly an
 @c associated scripting language built in, additional commands may be
-@c available.  For instance, if tcl is in GDB, the command ``tcl <tcl code>''
-@c will be available.
+@c available.  For instance, if tcl is in @value{GDBN}, the command 
+@c ``tcl <tcl code>'' will be available.
 
 The command window has no status line or button box.
 
 @subsection Files Window
 
-The files window lists all of the files that were used to build the
+The @samp{Files} window lists all of the files that were used to build the
 executable.
 
-Clicking on the xxx in the left margin expands/contracts the display of
-included files and symbols defined by the file.
+Clicking on the @samp{xxx} in the left margin expands/contracts the
+display of included files and symbols defined by the file.
 
-The View menu for this window includes the following items:
-Name/Full Pathname
-@c Sort by Name
-@c Sort by Section&Offset
-@c Show All Included Files
-@c Included File Indentation...
+The @samp{View} menu for this window includes the following items:
+
+@table @code
+@item Name/Full Pathname
+@c @item Sort by Name
+@c @item Sort by Section&Offset
+@c @item Show All Included Files
+@c @item Included File Indentation...
+@end table
 
 @subsection Source Window
 
-A source window displays a single file of source code.
+A @samp{Source} window displays a single file of source code.
+
+The left margin includes an indicator for the current PC, breakpoints
+and potential breakpoints, and (optionally) line numbers.
 
-The left margin includes an indicator for the current PC, breakpoints and potential breakpoints,
-and (optionally) line numbers.
+The @samp{View} menu for this window includes the following items:
 
-The View menu for this window includes the following items:
-Show Line Numbers
-Show Breakdots
-@c Jump to PC (if pc changes, scroll back so PC is centered)
-@c Tab... (set tabbing)
+@table @code
+@item Show Line Numbers
+@item Show Breakdots
+@c @item Jump to PC (if pc changes, scroll back so PC is centered)
+@c @item Tab... (set tabbing)
+@end table
 
 @section Extensions
 
@@ -342,7 +336,7 @@ Show Breakdots
 @c 
 @c Is an *optional* window.
 @c 
-@c Behavior mimics command-line GDB running in an Emacs buffer as much
+@c Behavior mimics command-line @value{GDBN} running in an Emacs buffer as much
 @c as possible.
 @c 
 @c Assembly Window
@@ -399,8 +393,8 @@ Show Breakdots
 
 @section How to Build
 
-If GDB is configured with --enable-gdbtk, then upon startup, it will
-open windows.
+If @value{GDBN} is configured with @samp{--enable-gdbtk}, then upon
+startup, it will open windows.
 
 @node Index
 @unnumbered Index
diff --git a/gdb/doc/gdbint.texinfo b/gdb/doc/gdbint.texinfo
index e374c3e..9be4ffb 100644
--- a/gdb/doc/gdbint.texinfo
+++ b/gdb/doc/gdbint.texinfo
@@ -1,36 +1,30 @@
 \input texinfo   @c -*- texinfo -*-
 @setfilename gdbint.info
 @include gdb-cfg.texi
-@ifinfo
-@format
+@dircategory Programming & development tools.
+@direntry
 START-INFO-DIR-ENTRY
 * Gdb-Internals: (gdbint).	The GNU debugger's internals.
 END-INFO-DIR-ENTRY
-@end format
-@end ifinfo
+@end direntry
 
 @ifinfo
 This file documents the internals of the GNU debugger @value{GDBN}.
-
-Copyright 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
-2001 Free Software Foundation, Inc.
+Copyright 1990,1991,1992,1993,1994,1996,1998,1999,2000,2001
+   Free Software Foundation, Inc.
 Contributed by Cygnus Solutions.  Written by John Gilmore.
 Second Edition by Stan Shebs.
 
-Permission is granted to make and distribute verbatim copies of this
-manual provided the copyright notice and this permission notice are
-preserved on all copies.
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License, Version 1.1 or
+any later version published by the Free Software Foundation; with the
+Invariant Sections being ``Algorithms'' and ``Porting GDB'', with the
+Front-Cover texts being ``A GNU Manual,'' and with the Back-Cover
+Texts as in (a) below.
 
-@ignore
-Permission is granted to process this file through Tex and print the
-results, provided the printed document carries copying permission notice
-identical to this one except for the removal of this paragraph (this
-paragraph not being relevant to the printed manual).
-
-@end ignore
-Permission is granted to copy or distribute modified versions of this
-manual under the terms of the GPL (for which purpose this text may be
-regarded as a program in the language TeX).
+(a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
+this GNU Manual, like GNU software.  Copies published by the Free
+Software Foundation raise funds for GNU development.''
 @end ifinfo
 
 @setchapternewpage off
@@ -59,12 +53,19 @@ regarded as a program in the language TeX).
 @end tex
 
 @vskip 0pt plus 1filll
-Copyright @copyright{} 1990-1999 Free Software Foundation, Inc.
-
-Permission is granted to make and distribute verbatim copies of
-this manual provided the copyright notice and this permission notice
-are preserved on all copies.
-
+Copyright @copyright{} 1990,1991,1992,1993,1994,1996,1998,1999,2000,2001
+   Free Software Foundation, Inc.
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License, Version 1.1 or
+any later version published by the Free Software Foundation; with the
+Invariant Sections being ``Algorithms'' and ``Porting GDB'', with the
+Front-Cover texts being ``A GNU Manual,'' and with the Back-Cover
+Texts as in (a) below.
+
+(a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
+this GNU Manual, like GNU software.  Copies published by the Free
+Software Foundation raise funds for GNU development.''
 @end titlepage
 
 @c TeX can handle the contents at the start but makeinfo 3.12 can not
diff --git a/gdb/mi/ChangeLog b/gdb/mi/ChangeLog
index dd6399c..6065a4f 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 f1773dc..985ac71 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 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%