do not remove texinfo

the real conversion removed texinfo
however this was wrong
fixing for posterity