diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index f1b6c58d9e5..4449f32d6bc 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -36,6 +36,9 @@ original English.
 @c @smallbook
 @setchapternewpage odd
 @settitle Using GDB (v3.94)
+@iftex
+@finalout
+@end iftex
 @titlepage
 @title{Using GDB}
 @subtitle{A Guide to the GNU Source-Level Debugger}