Re: Dual licensing of Org manual?

[Bastien]

Hi Glenn,

Glenn Morris <address@hidden> writes:

> Bastien wrote:
>
>> The notice in version 7.9.2 of the Org manual* says:
> [...]
>>    A copy of the license is included in the section entitled "GNU Free
>>    Documentation License."
>
> This was untrue (there was no such section). I added one.

Thanks.  Also done for org.texi and orgguide.texi in our git repo.

>>    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.
>
> This was logially inconsistent with the above. I removed it.

Indeed, thanks.

-- 
 Bastien