Re: [rfa] License clarification for observer.texi

[Daniel Jacobowitz <drow@false.org>]

On Mon, May 08, 2006 at 05:04:40PM -0400, Daniel Jacobowitz wrote:
> Does anyone disapprove of this change?  Or, feel sufficiently concerned by
> it that you would prefer I contact the FSF to confirm?  I don't feel that it
> is necessary, since I am dealing strictly with the FSF's preferred licenses
> for code and for manuals, and strictly for manual already used as code.

Just as well that Eli asked me to consult with the FSF.  They prefer
something (marginally) less permissive.  Here is the conclusion I
reached with Dave Turner (who answers licensing@gnu.org).  I also added
a notice to agentexpr.texi which redirects to the main manual, i.e. the
GFDL.

Eli, does this look good to you?

-- 
Daniel Jacobowitz
CodeSourcery

2006-05-10  Daniel Jacobowitz  <dan@codesourcery.com>

	* agentexpr.texi: Add a copyright and license notice.
	* observer.texi: Likewise, with GPL clause for function prototypes.
	Remove trailing whitespace.

Index: agentexpr.texi
===================================================================
RCS file: /cvs/src/src/gdb/doc/agentexpr.texi,v
retrieving revision 1.5
diff -u -p -r1.5 agentexpr.texi
--- agentexpr.texi	4 Aug 2003 20:43:57 -0000	1.5
+++ agentexpr.texi	10 May 2006 14:55:49 -0000
@@ -5,6 +5,13 @@
 @c @setchapternewpage off
 @c %**end of header
 
+@c This file is part of the GDB manual.
+@c
+@c Copyright (C) 2003, 2004, 2005, 2006
+@c               Free Software Foundation, Inc.
+@c
+@c See the file gdb.texinfo for copying conditions.
+
 @c Revision: $Id: agentexpr.texi,v 1.2 1998/12/09 21:23:46 jimb Exp $
 
 @node Agent Expressions
Index: observer.texi
===================================================================
RCS file: /cvs/src/src/gdb/doc/observer.texi,v
retrieving revision 1.10
diff -u -p -r1.10 observer.texi
--- observer.texi	8 Mar 2005 04:34:43 -0000	1.10
+++ observer.texi	10 May 2006 14:55:49 -0000
@@ -1,4 +1,19 @@
 @c -*-texinfo-*-
+
+@c This file is part of the GDB manual.
+@c
+@c Copyright (C) 2003, 2004, 2005, 2006
+@c               Free Software Foundation, Inc.
+@c
+@c See the file gdbint.texinfo for copying conditions.
+@c
+@c Also, the @deftypefun lines from this file are processed into a
+@c header file during the GDB build process.  Permission is granted
+@c to redistribute and/or modify those lines under the terms of the
+@c GNU General Public License as published by the Free Software
+@c Foundation; either version 2 of the License, or (at your option)
+@c any later version.
+
 @node GDB Observers
 @appendix @value{GDBN} Currently available observers
 
@@ -47,7 +62,7 @@ internal happenings, gdb, Debugging with
 @value{GDBN} notifies all @code{normal_stop} observers when the
 inferior execution has just stopped, the associated messages and
 annotations have been printed, and the control is about to be returned
-to the user. 
+to the user.
 
 Note that the @code{normal_stop} notification is not emitted when
 the execution stops due to a breakpoint, and this breakpoint has