Use a slightly cleaner hack on BSD systems.

[gnulib.git] / doc / gpl-3.0.texi

diff --git a/doc/gpl-3.0.texi b/doc/gpl-3.0.texi
index 6e7ea63..1908d1f 100644 (file)
--- a/doc/gpl-3.0.texi
+++ b/doc/gpl-3.0.texi
@@ -1,8 +1,8 @@
-@node Copying
-@unnumbered GNU General Public License
+@c The GNU General Public License.
 @center Version 3, 29 June 2007
 
-@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{} 2007 Free Software Foundation, Inc. @url{http://fsf.org/}
@@ -19,7 +19,7 @@ software and other kinds of works.
 The licenses for most software and other practical works are designed
 to take away your freedom to share and change the works.  By contrast,
 the GNU General Public License is intended to guarantee your freedom
-to share and change all versions of a program--to make sure it remains
+to share and change all versions of a program---to make sure it remains
 free software for all its users.  We, the Free Software Foundation,
 use the GNU General Public License for most of our software; it
 applies also to any other work released this way by its authors.  You