diff options
| author | Simon Josefsson <simon@josefsson.org> | 2007-08-07 16:06:03 +0200 |
|---|---|---|
| committer | Simon Josefsson <simon@josefsson.org> | 2007-08-07 16:06:03 +0200 |
| commit | 9339dc2e2aa975b896ab2911b76eae38777571ce (patch) | |
| tree | f562b6fd4893fbd9cf4eb4b3b72c24b54873603a /doc/gpl-2.0.texi | |
| parent | 3ed8cd3f62d4de501003469dad50d08381b048e3 (diff) | |
| download | gnutls-9339dc2e2aa975b896ab2911b76eae38777571ce.tar.gz | |
Update gnulib files.
Diffstat (limited to 'doc/gpl-2.0.texi')
| -rw-r--r-- | doc/gpl-2.0.texi | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/doc/gpl-2.0.texi b/doc/gpl-2.0.texi index ee61000911..8391c387fe 100644 --- a/doc/gpl-2.0.texi +++ b/doc/gpl-2.0.texi @@ -1,10 +1,8 @@ -@node GNU GPL -@appendixsec GNU General Public License -@cindex GPL, GNU General Public License -@cindex License, GNU GPL +@c The GNU General Public License. @center Version 2, June 1991 -@c This file is intended to be included in another file. +@c This file is intended to be included within another document, +@c hence no sectioning command or @node. @display Copyright @copyright{} 1989, 1991 Free Software Foundation, Inc. |