Remove Texinfo related line from git.orderfile