diff --git a/doc/bison.texinfo b/doc/bison.texi
similarity index 100%
rename from doc/bison.texinfo
rename to doc/bison.texi
diff --git a/doc/bison.x b/doc/bison.x
index c7335154..edaebe83 100644
--- 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
diff --git a/doc/local.mk b/doc/local.mk
index f7a96c23..54c03ebf 100644
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -14,7 +14,7 @@
 ## along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 AM_MAKEINFOFLAGS = --no-split
-info_TEXINFOS = doc/bison.texinfo
+info_TEXINFOS = doc/bison.texi
 doc_bison_TEXINFOS =                            \
   $(CROSS_OPTIONS_TEXI)                         \
   doc/fdl.texi                                  \
diff --git a/examples/local.mk b/examples/local.mk
index 5ab8225b..94a31674 100644
--- a/examples/local.mk
+++ b/examples/local.mk
@@ -20,7 +20,7 @@ TEST_LOG_COMPILER = $(top_srcdir)/examples/test
 ## Extracting.  ##
 ## ------------ ##
 
-doc = $(top_srcdir)/doc/bison.texinfo
+doc = $(top_srcdir)/doc/bison.texi
 extexi = $(top_srcdir)/examples/extexi
 extract = VERSION="$(VERSION)" $(PERL) -f $(extexi) $(doc) --
 extracted =