From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 10 Apr 2012 09:52:13 +0000 (+0100)
Subject: gpl.texi, lgpl.texi: Headings must be at top level.
X-Git-Tag: 1.3.7~1
X-Git-Url: https://git.distorted.org.uk/~mdw/cfd/commitdiff_plain/d29994fb48747321b384f841cccd7be2b089373e

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

diff --git a/gpl.texi b/gpl.texi
index 23ba261..319d5d4 100644
--- 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
--- 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