docs: use '.texi', not '.texinfo', as extension for our manual

Automake-NG as dropped support for the '.texinfo' extension.

* doc/bison.texinfo: Rename ...
* doc/bison.texi: ... like this.
* doc/local.mk (info_TEXINFOS): Adjust.
* .x-sc_unmarked_diagnostics: Likewise.
* examples/local.mk (doc): Likewise.
* cfg.mk: Likewise.
* doc/bison.x: Likewise.

Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>

.x-sc_unmarked_diagnostics

@@ -1 +1 @@
-doc/bison.texinfo
+doc/bison.texi

cfg.mk

@@ -60,7 +60,7 @@ $(call exclude,								\
   prohibit_always-defined_macros+=?|^src/(parse-gram.c|system.h)$$	\
   prohibit_always-defined_macros+=?|^tests/regression.at$$		\
   prohibit_empty_lines_at_EOF=^src/parse-gram.h$$			\
-  prohibit_strcmp=^doc/bison\.texinfo$$					\
+  prohibit_strcmp=^doc/bison\.texi$$					\
   require_config_h_first=^(lib/yyerror|data/(glr|yacc))\.c$$		\
   space_tab=^tests/(input|c\+\+)\.at$$					\
   unmarked_diagnostics=^djgpp/						\

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

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                                  \

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 =