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 <[EMAIL PROTECTED]>
* 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
