From c0eeccaaee4816f0fffe028bdc0ef1e4731d3794 Mon Sep 17 00:00:00 2001
From: jaortega <jaortega>
Date: Sat, 17 Mar 2001 14:26:36 +0000
Subject: docs splitting

---
 doc/gpl.texi | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'doc/gpl.texi')

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
-- 
cgit v1.2.3