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

diff --git a/gpl.texi b/gpl.texi
index 23ba261041e2dd87c37bd353529d2b989f147200..319d5d487a74b3fd17686841ac9d558a4bd1fb68 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 2db17b4bbcb2f5e5459bec7660e0c42eea69c7bf..dd030beb529ba4af5c62ab08b74620df0ffb4366 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