diff options
Diffstat (limited to 'doc/gpl.texi')
| -rw-r--r-- | doc/gpl.texi | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/gpl.texi b/doc/gpl.texi index 5b0da1a..361504a 100644 --- a/doc/gpl.texi +++ b/doc/gpl.texi @@ -1,4 +1,6 @@ -@setfilename gpl.info +@node Copying, Problems, mixasm, Top +@chapter Copying +@lowersections @unnumbered GNU GENERAL PUBLIC LICENSE @center Version 2, June 1991 @@ -394,3 +396,5 @@ proprietary programs. If your program is a subroutine library, you may consider it more useful to permit linking proprietary applications with the library. If this is what you want to do, use the GNU Library General Public License instead of this License. + +@raisesections |