diff options
Diffstat (limited to 'gl/override/gpl.texi.diff')
| -rw-r--r-- | gl/override/gpl.texi.diff | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gl/override/gpl.texi.diff b/gl/override/gpl.texi.diff new file mode 100644 index 0000000000..5e52212631 --- /dev/null +++ b/gl/override/gpl.texi.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. |