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 > [EMAIL PROTECTED] GNU GENERAL PUBLIC LICENSE > [EMAIL PROTECTED] 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