"Oskar Liljeblad" <[EMAIL PROTECTED]> writes: > I saw the fdl module, which is nice because my GNU project GMediaServer uses > fdl.texi in its documentation. It however also uses gpl.texi, which is why I > propose this module.
Good idea. > +License: > +public domain This seems wrong though, the license of the GPL is: Everyone is permitted to copy and distribute verbatim copies of this license document, but changing it is not allowed. I'm not sure how to best describe this. I note that the fdl module has the same problem: doc/fdl.texi ... License: public domain How about a new license 'unmodifiable license text', which we fix in gnulib-tool to be compatible with other licenses? --- gnulib-tool 30 Aug 2006 09:28:45 +0200 1.150 +++ gnulib-tool 30 Aug 2006 09:34:03 +0200 @@ -1404,7 +1404,7 @@ for module in $modules; do license=`func_get_license $module` case $license in - LGPL | 'GPLed build tool' | 'public domain' | 'unlimited') ;; + LGPL | 'GPLed build tool' | 'public domain' | 'unlimited' | 'unmodifiable license text') ;; *) func_fatal_error "incompatible license on module $module: $license" ;; esac done Btw, below is a LGPL module as well. /Simon 2006-08-30 Simon Josefsson <[EMAIL PROTECTED]> * modules/lgpl: New file. --- MODULES.html.sh 30 Aug 2006 09:28:45 +0200 1.145 +++ MODULES.html.sh 30 Aug 2006 09:35:11 +0200 @@ -2117,6 +2117,7 @@ func_begin_table func_module fdl func_module gendocs + func_module lgpl func_module regexprops-generic func_end_table Index: modules/lgpl =================================================================== RCS file: modules/lgpl diff -N modules/lgpl --- /dev/null 1 Jan 1970 00:00:00 -0000 +++ modules/lgpl 30 Aug 2006 07:35:49 -0000 @@ -0,0 +1,19 @@ +Description: +Provide the GNU Lesser General Public License in Texinfo format. + +Files: +doc/lgpl.texi + +Depends-on: + +configure.ac: + +Makefile.am: + +Include: + +License: +unmodifiable license text + +Maintainer: +all