Newer automake warns that .texinfo extensions are discouraged in favor of .texi, so rename the manuals to match.
Mike Frysinger