proposal for gpl module

[Oskar Liljeblad]

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.

2006-08-29  Oskar Liljeblad  <address@hidden>

        * modules/gpl: New module, for grabbing gpl.texi
        * MODULES.html.sh: Add gpl module.

diff -u MODULES.html.sh.v0 MODULES.html.sh
--- MODULES.html.sh.v0  2006-08-29 22:20:38.000000000 +0200
+++ MODULES.html.sh     2006-08-29 22:50:56.000000000 +0200
@@ -2116,6 +2116,7 @@
   func_begin_table
   func_module fdl
   func_module gendocs
+  func_module gpl
   func_module regexprops-generic
   func_end_table
 
diff -u /dev/null modules/gpl
--- /dev/null   2006-07-16 10:13:02.000000000 +0200
+++ modules/gpl 2006-08-29 22:46:31.000000000 +0200
@@ -0,0 +1,19 @@
+Description:
+Provide the GNU General Public License in Texinfo format.
+
+Files:
+doc/gpl.texi
+
+Depends-on:
+
+configure.ac:
+
+Makefile.am:
+
+Include:
+
+License:
+public domain
+
+Maintainer:
+all