diff options
Diffstat (limited to 'doc/gpl.texinfo')
| -rw-r--r-- | doc/gpl.texinfo | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/gpl.texinfo b/doc/gpl.texinfo index a2f8db91..d29870cf 100644 --- a/doc/gpl.texinfo +++ b/doc/gpl.texinfo @@ -1,6 +1,5 @@ -@setfilename gpl.info - -@unnumbered GNU GENERAL PUBLIC LICENSE +@node Copying +@section GNU GENERAL PUBLIC LICENSE @center Version 2, June 1991 @display |