error: depend on stdio
[gnulib.git] / doc / gpl-2.0.texi
index 8391c38..38aa918 100644 (file)
@@ -2,7 +2,7 @@
 @center Version 2, June 1991
 
 @c This file is intended to be included within another document,
-@c hence no sectioning command or @node.  
+@c hence no sectioning command or @node.
 
 @display
 Copyright @copyright{} 1989, 1991 Free Software Foundation, Inc.