two versions of texinfo.tex

[carl hansen]

versions of
doc/texinfo.tex
and
build-aux/texinfo.tex
are different. At least one of them is not up-to-date.

"Unnecessary redundancy is the hobgoblin of software engineering."