license & copyright patch to MELT for dual GPLv3+ & GFDL1.2+

[Basile Starynkevitch <basile at starynkevitch dot net>]

Hello All,

I usually do not ask for comments on my patches to the MELT files,
especially the *.melt files in the MELT dialect, but since I am changing
the copyright notice, I want to be sure to add the right things.

Unless someone objects or suggests an improvement, I will replace the
legalese in MELT's gcc/melt/warmelt-first.melt with the following text

#######################################################################
;; -*- Lisp -*-
;; file warmelt-first.melt
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(comment "***
    Copyright 2008, 2009, 2010 Free Software Foundation, Inc.
    Contributed by Basile Starynkevitch <basile@starynkevitch.net>

    This file is part of GCC.

    GCC is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 3, or (at your option)
    any later version.

    GCC is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with GCC; see the file COPYING3.  If not see
    <http://www.gnu.org/licenses/>.
***")


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Permission is granted to copy, distribute and/or modify this document
;; under the terms of the GNU Free Documentation License, Version 1.2 or
;; any later version published by the Free Software Foundation; with the
;; Invariant Sections being ``Funding Free Software'', the Front-Cover
;; Texts being (a) (see below), and with the Back-Cover Texts being (b)
;; (see below).  A copy of the license is included in the section 
;; entitled ``GNU Free Documentation License''.

;; (a) The FSF's Front-Cover Text is:
;; 
;;    A GNU Manual
;; 
;; (b) 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.
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;; Explanatory Notice:

;; The copyright notice with GPLv3+ above apply both to
;; warmelt-first.melt and to the generated file warmelt-first*.c. The
;; GPLv3+ license is useful to use, distribute, modify (and do
;; anything permitted by the GPLv3+) GCC MELT as a software.

;; This source file is dual-licensed as GPLv3+ & GFDL1.2+ because
;; parts of it are used to generate a GFDL1.2+ documentation.  The
;; GFDL1.2+ license permit the generation of GFDL1.2+ documentation
;; chunks from this file.

;; Dual licensed with explicit permission from FSF, after a question
;; to licensing@fsf.org positively replied by Karl Berry on May 31st
;; 2010, [gnu.org #579118]. See also
;; http://gcc.gnu.org/ml/gcc/2010-05/msg00674.html
;; http://gcc.gnu.org/ml/gcc/2010-05/msg00125.html
;; http://gcc.gnu.org/ml/gcc/2010-05/msg00749.html 


;;    This file is the first part of a bootstrapping compiler for the
;;    MELT lisp dialect, compiler which should be able to
;;    compile itself (into generated C file[s])
;;    ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
########################################################################

Some meta-comments.

The (comment notation is for a comment which goes into the generated C
file. I see no reason to change the license of the generated C file, so
it remains GPLv3+. The generated C is not very readable anyway and does
not contain documentation chunks.

The other comments, starting with one or more semi-colons, are in MELT
Lisp dialect only and do not appear in generated C code.

I intend to add a very similar comment to every gcc/melt/warmelt*.melt
file of the GCC MELT branch. It is perhaps a bit long.

Afterwards, I will add the code to generate the GFDL notice in the
generated documentation (today it has no notice at all, since it is a
chapter of the documentaion).


Did I miss something?

Cheers.