Merge branch 'maint'

[bison.git] / doc / bison.x

diff --git a/doc/bison.x b/doc/bison.x
index c7335154cf0aa0d587f27b4331b433f2b3a3ad13..edaebe830cf385be1c0823892e2347f527e579e5 100644 (file)
--- a/doc/bison.x
+++ b/doc/bison.x
@@ -39,7 +39,7 @@ This description of the options that can be given to
 is adapted from the node
 .B Invocation
 in the
-.B bison.texinfo
+.B bison.texi
 manual, which should be taken as authoritative.
 .PP
 .I Bison