-@node Copying
-@unnumbered GNU General Public License
-@cindex GPL, GNU General Public License
+@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.