GFDL License Issue

[barak]

The file doc/macros.texi states:

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 being GNU Free Documentation License'' andGNU General Public License'', no Front--Cover Texts, and no Back--Cover Texts. A copy of the license is included in the distribution.

Two issues.

First, there is a typo: "no Invariant Sections being".

Second, many people, as well as the Debian project, have issues with the GFDL. Unless there is a show-stopper in doing this, it would be convenient if the license were either changed to be the same as the rest of the project (GNU GPL3) or dual-licensed with the license. An example of why this would be appreciated is that the current difference is licenses between the manual and the source code prohibits is cut-and-paste of text between the manual and the source code!

[marcomaggi]

Indeed Ghuloum specified on the ikarus-users mailing list that the documentation license is GPL 3. I have fixed the license notice.

[barak]

Excellent! That is fantastic.

Do you have a pointer to that email of his?

[marcomaggi]

It is in the ikarus-users mailing list with subject "[announce] Ikarus Texinfo documentation 2008-10-21-12-56-59".

[barak]

I cannot seem to find it; the message with that subject seems to be about something else, a pointer to the mailing list on gmane. http://www.mail-archive.com/ikarus-users@googlegroups.com/msg00001.html

[marcomaggi]

https://groups.google.com/forum/?fromgroups#!searchin/ikarus-users/I$20was$20tricked$20by/ikarus-users/hJecpLurZ8U/m-VRbsxfGckJ

[barak]

Thanks!