Proper @ignore usage, to prevent yet another gnu notice to pop up by mistake

in the middle of a page.
ok millert@ krw@

1 files changed, 2 insertions, 4 deletions

diff --git a/gnu/lib/libreadline/doc/rltech.texinfo b/gnu/lib/libreadline/doc/rltech.texinfo
index df015fb6354..fc19b174033 100644
--- a/gnu/lib/libreadline/doc/rltech.texinfo
+++ b/gnu/lib/libreadline/doc/rltech.texinfo
@@ -3,7 +3,7 @@
 @comment %**end of header (This is for running Texinfo on a region.)
 @setchapternewpage odd
 
-@ifinfo
+@ignore
 This document describes the GNU Readline Library, a utility for aiding
 in the consitency of user interface across discrete programs that need
 to provide a command line interface.
@@ -14,12 +14,10 @@ Permission is granted to make and distribute verbatim copies of
 this manual provided the copyright notice and this permission notice
 pare preserved on all copies.
 
-@ignore
 Permission is granted to process this file through TeX and print the
 results, provided the printed document carries copying permission
 notice identical to this one except for the removal of this paragraph
 (this paragraph not being relevant to the printed manual).
-@end ignore
 
 Permission is granted to copy and distribute modified versions of this
 manual under the conditions for verbatim copying, provided that the entire
@@ -30,7 +28,7 @@ Permission is granted to copy and distribute translations of this manual
 into another language, under the above conditions for modified versions,
 except that this permission notice may be stated in a translation approved
 by the Foundation.
-@end ifinfo
+@end ignore
 
 @node Programming with GNU Readline
 @chapter Programming with GNU Readline