diff --git a/doc/bison.texinfo b/doc/bison.texinfo
index 6b26ef85..7de22d50 100644
--- a/doc/bison.texinfo
+++ b/doc/bison.texinfo
@@ -4,6 +4,10 @@
 @settitle Bison 1.20
 @setchapternewpage odd
 
+@iftex
+@finalout
+@end iftex
+
 @c SMALL BOOK version   
 @c This edition has been formatted so that you can format and print it in
 @c the smallbook format.