[rfa] License clarification for observer.texi

[Daniel Jacobowitz <drow@false.org>]

One of two issues that I'd like to resolve before GDB 6.5.

This patch adds explicit copyright and license notices to observer.texi,
to resolve a problem noted by debian-legal.

The file is included directly into the manual, so must be covered by the
GFDL.  But the header file generated from it by observer.sh (gdb/observer.h
in the build tree) has a GPL notice added.  The GFDL and GPL are not
compatible to this degree.  Even the FSF agrees about this - the
FDL suggests releasing code fragments under the GPL in parallel to including
them in the manual.

So, this patch marks observer.texi as distributable under both licenses.

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.

-- 
Daniel Jacobowitz
CodeSourcery

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

	* observer.texi: Add a copyright and license notice.

Index: gdb/doc/observer.texi
===================================================================
RCS file: /cvs/src/src/gdb/doc/observer.texi,v
retrieving revision 1.10
diff -u -p -r1.10 observer.texi
--- gdb/doc/observer.texi	8 Mar 2005 04:34:43 -0000	1.10
+++ gdb/doc/observer.texi	8 May 2006 20:59:32 -0000
@@ -1,4 +1,27 @@
 @c -*-texinfo-*-
+
+@c This file is part of the GDB manual.
+
+@c Copyright (C) 2003, 2004, 2005, 2006
+@c               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 ``Free Software'' and ``Free Software Needs
+@c Free Documentation'', with the Front-Cover Texts being ``A GNU Manual,''
+@c and with the Back-Cover Texts as in (a) below.
+
+@c (a) The Free Software Foundation's Back-Cover Text is: ``You have
+@c freedom to copy and modify this GNU Manual, like GNU software.  Copies
+@c published by the Free Software Foundation raise funds for GNU
+@c development.''
+
+@c Permission is also granted to redistribute and/or modify this file
+@c under the terms of the GNU General Public License as published by
+@c the Free Software Foundation; either version 2 of the License, or
+@c (at your option) any later version.
+
 @node GDB Observers
 @appendix @value{GDBN} Currently available observers