--- a/man/info.texi	Mon Aug 13 11:28:16 2007 +0200
+++ b/man/info.texi	Mon Aug 13 11:29:08 2007 +0200
@@ -3,7 +3,7 @@
 @setfilename ../info/info.info
 @settitle Info
 @comment %**end of header
-@comment $Id: info.texi,v 1.4.2.2 1999/11/17 23:28:34 martinb Exp $
+@comment $Id: info.texi,v 1.4.2.3 1999/12/05 19:02:24 martinb Exp $
 
 @dircategory Texinfo documentation system
 @direntry
@@ -66,15 +66,14 @@
 by the Free Software Foundation.
 @end titlepage
 
-@ifnottex
 @node Top
 @top Info: An Introduction
 
-Info is a program for reading documentation, which you are using now.
+Info is a program for reading documentation, which you might be using
+now to read this.
 
-To learn how to use Info, type the command @kbd{h}.  It brings you
-to a programmed instruction sequence.
-@end ifnottex
+To learn how to use Info, type the command @kbd{h} while using the Info
+program.  It brings you to a programmed instruction sequence.
 
 @menu
 * Getting Started::             Getting started using an Info reader.