Re: Dual licensing of Org manual?

[Bastien]

Richard Stallman <address@hidden> writes:

> Please don't change anything about the Org manual licensing.

Please see my other message in this thread.

The notice in version 7.9.2 of the Org manual* says:

   Permission is granted to copy, distribute and/or modify this document
   under the terms of the GNU Free Documentation License, Version 1.3 or
   any later version published by the Free Software Foundation; with no
   Invariant Sections, with the Front-Cover texts being “A GNU Manual,”
   and with the Back-Cover Texts as in (a) below.  A copy of the license
   is included in the section entitled “GNU Free Documentation License.”

   (a) The FSF’s Back-Cover Text is: “You have the freedom to copy and
   modify this GNU manual. Buying copies from the FSF supports it in
   developing GNU and promoting software freedom.”

   This document is part of a collection distributed under the GNU Free
   Documentation License. If you want to distribute this document
   separately from the collection, you can do so by adding a copy of the
   license to the document, as described in section 6 of the license.

Note that

(1) it's already mentioned "no Invariant Sections";

(2) the note about the Back-Cover Texts as in (a) is irrelevant because
    the FSF does not sell the Org manual;

(3) 
http://www.gnu.org/prep/maintain/html_node/License-Notices-for-Documentation.html
    says:

       If your manual is not published by the FSF, and under 400 pages,
       you can omit both cover texts.

    I thought it applied to the Org manual so allowed myself to remove
    the Cover Texts and the last paragraph of the notice.

Let me know what should be fixed.

Thanks,

* See 
http://orgmode.org/cgit.cgi/org-mode.git/plain/doc/org.texi?h=maint&id=df0991
   
-- 
 Bastien