configure: Entirely avoid broken Texinfo.