4 files changed, 17 insertions, 15 deletions
diff --git a/gl/override/gpl.texi.diff b/gl/override/doc/gpl.texi.diff
index 5e52212631..5e52212631 100644
--- a/gl/override/gpl.texi.diff
+++ b/gl/override/doc/gpl.texi.diff
diff --git a/gl/override/lgpl.texi.diff b/gl/override/doc/lgpl.texi.diff
index cba9ee7eaf..cba9ee7eaf 100644
--- a/gl/override/lgpl.texi.diff
+++ b/gl/override/doc/lgpl.texi.diff
diff --git a/gl/override/gpl.diff b/gl/override/gpl.diff
new file mode 100644
index 0000000000..5e52212631
--- /dev/null
+++ b/gl/override/gpl.diff
@@ -0,0 +1,17 @@
+Index: gpl.texi
+===================================================================
+RCS file: /sources/gnulib/gnulib/doc/gpl.texi,v
+retrieving revision 1.6
+diff -u -p -r1.6 gpl.texi
+--- gpl.texi	17 Sep 2006 22:00:25 -0000	1.6
++++ gpl.texi	21 Sep 2006 13:24:46 -0000
+@@ -1,6 +1,7 @@
+-@node Copying
+-@unnumbered GNU General Public License
++@node GNU GPL
++@appendixsec GNU General Public License
+ @cindex GPL, GNU General Public License
++@cindex License, GNU GPL
+ @center Version 2, June 1991
+ 
+ @c This file is intended to be included in another file.
diff --git a/gl/override/lgpl.diff b/gl/override/lgpl.diff
deleted file mode 100644
index cba9ee7eaf..0000000000
--- a/gl/override/lgpl.diff
+++ /dev/null
@@ -1,15 +0,0 @@
-Index: lgpl.texi
-===================================================================
-RCS file: /sources/gnulib/gnulib/doc/lgpl.texi,v
-retrieving revision 1.5
-diff -u -p -r1.5 lgpl.texi
---- lgpl.texi	16 Sep 2006 14:04:29 -0000	1.5
-+++ lgpl.texi	21 Sep 2006 13:24:56 -0000
-@@ -1,6 +1,7 @@
- @node GNU LGPL
- @appendixsec GNU Lesser General Public License
- @cindex LGPL, GNU Lesser General Public License
-+@cindex License, GNU LGPL
- @center Version 2.1, February 1999
- 
- @display