gpl.texi, lgpl.texi: Headings must be at top level.

diff --git a/gpl.texi b/gpl.texi
index 23ba261..319d5d4 100644 (file)
--- a/gpl.texi
+++ b/gpl.texi
@@ -286,14 +286,7 @@ make exceptions for this.  Our decision will be guided by the two goals
 of preserving the free status of all derivatives of our free software and
 of promoting the sharing and reuse of software generally.
 
-@iftex
-@vskip -@baselineskip
-@vskip -@baselineskip
-@heading NO WARRANTY
-@end iftex
-@ifinfo
-@center NO WARRANTY
-@end ifinfo
+@center @b{NO WARRANTY}
 
 @item
 BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY

diff --git a/lgpl.texi b/lgpl.texi
index 2db17b4..dd030be 100644 (file)
--- a/lgpl.texi
+++ b/lgpl.texi
@@ -459,12 +459,7 @@ decision will be guided by the two goals of preserving the free status
 of all derivatives of our free software and of promoting the sharing
 and reuse of software generally.
 
-@iftex
-@heading NO WARRANTY
-@end iftex
-@ifinfo
-@center NO WARRANTY
-@end ifinfo
+@center @b{NO WARRANTY}
 
 @item
 BECAUSE THE LIBRARY IS LICENSED FREE OF CHARGE, THERE IS NO