Index: libiberty/copying-lib.texi |
diff --git a/libiberty/copying-lib.texi b/libiberty/copying-lib.texi |
index 79e1038783d5f971f57392126cd9a80502282330..31ef68bf49529a30fb941b34fb2d17a435629a45 100644 |
--- a/libiberty/copying-lib.texi |
+++ b/libiberty/copying-lib.texi |
@@ -476,12 +476,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 |
@item |
BECAUSE THE LIBRARY IS LICENSED FREE OF CHARGE, THERE IS NO |