From d29994fb48747321b384f841cccd7be2b089373e Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Tue, 10 Apr 2012 10:52:13 +0100 Subject: [PATCH] gpl.texi, lgpl.texi: Headings must be at top level. --- gpl.texi | 9 +-------- lgpl.texi | 7 +------ 2 files changed, 2 insertions(+), 14 deletions(-) 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 -- 2.11.0