*** empty log message ***

diff --git a/doc/bison.texinfo b/doc/bison.texinfo
index 6b26ef858ca16399407213320ca5b31f2bca929f..7de22d50a6fc37590ad67ef5c8a94e0ac70e2314 100644 (file)
--- 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.