--- a/doc/faq/Octave-FAQ.texi
+++ b/doc/faq/Octave-FAQ.texi
@@ -16,12 +16,12 @@
 @page
 @end titlepage
 
-@ifinfo
+@ifnottex
 @node Top
 @top
 @unnumbered Preface
 @cindex FAQ for Octave, latest version
-@end ifinfo
+@end ifnottex
 
 This is a list of frequently asked questions (FAQ) for Octave users.
 

--- a/doc/interpreter/octave.texi
+++ b/doc/interpreter/octave.texi
@@ -48,7 +48,7 @@
 
 @settitle GNU Octave
 
-@ifinfo
+@ifnottex
 
 Copyright (C) 1996, 1997 John W. Eaton.
 
@@ -71,7 +71,7 @@
 Permission is granted to copy and distribute translations of this
 manual into another language, under the above conditions for
 modified versions.
-@end ifinfo
+@end ifnottex
 
 @titlepage
 @title GNU Octave
@@ -106,14 +106,14 @@
 
 @contents
 
-@ifinfo
+@ifnottex
 @node Top
 @top
 
 This manual documents how to run, install and port GNU Octave, as well
 as its new features and incompatibilities, and how to report bugs.
 It corresponds to GNU Octave version @value{VERSION}.
-@end ifinfo
+@end ifnottex
 
 @menu
 * Preface::                     

--- a/doc/liboctave/liboctave.texi
+++ b/doc/liboctave/liboctave.texi
@@ -35,7 +35,7 @@
 
 @settitle Octave C++ Classes
 
-@ifinfo
+@ifnottex
 
 Copyright (C) 1996, 1997 John W. Eaton.
 
@@ -58,7 +58,7 @@
 Permission is granted to copy and distribute translations of this
 manual into another language, under the above conditions for
 modified versions.
-@end ifinfo
+@end ifnottex
 
 @titlepage
 @title{Octave C++ Classes}
@@ -87,14 +87,14 @@
 
 @contents
 
-@ifinfo
+@ifnottex
 @node Top, Acknowledgements, (dir), (dir)
 @top
 
 This manual documents how to use, install and port Octave's C++ class
 library, and how to report bugs.  It corresponds to Octave version
 @value{VERSION}.
-@end ifinfo
+@end ifnottex
 
 @c ------------------------------------------------------------------------