Re: [bug-gnulib] gpl and lgpl texi

[Bruno Haible]

Simon Josefsson wrote:
> --- gpl.texi  16 Jun 2006 17:35:17 +0200      1.4
> +++ gpl.texi  04 Sep 2006 17:39:43 +0200      
> @@ -1,5 +1,5 @@
>  @node Copying
> address@hidden GNU GENERAL PUBLIC LICENSE
> address@hidden GNU General Public License
>  @center Version 2, June 1991
>  
>  @c This file is intended to be included in another file.

Yes, I needed this also in GNU gettext.

Furthermore, in "info" output, blank lines are missing after "NO WARRANTY"
and "END OF TERMS AND CONDITIONS". Here is the patch:

--- gnulib/doc/gpl.texi 2006-05-30 20:12:40.000000000 +0200
+++ gpl.texi    2006-04-12 00:57:38.000000000 +0200
@@ -287,6 +295,7 @@
 @end iftex
 @ifinfo
 @center NO WARRANTY
+
 @end ifinfo
 
 @item
@@ -317,6 +326,7 @@
 @end iftex
 @ifinfo
 @center END OF TERMS AND CONDITIONS
+
 @end ifinfo
 
 @page
--- gnulib/doc/lgpl.texi        2006-05-30 20:12:40.000000000 +0200
+++ lgpl.texi   2006-04-12 00:58:56.000000000 +0200
@@ -475,6 +483,7 @@
 @end iftex
 @ifinfo
 @center NO WARRANTY
+
 @end ifinfo
 
 @item
@@ -506,6 +515,7 @@
 @end iftex
 @ifinfo
 @center END OF TERMS AND CONDITIONS
+
 @end ifinfo
 
 @page