Rename.

diff --git a/gl/override/gpl.diff b/gl/override/gpl.diff
deleted file mode 100644 (file)
index 5e52212..0000000
--- a/gl/override/gpl.diff
+++ /dev/null
@@ -1,17 +0,0 @@
-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.