Make cvs.texinfo compatible with newer makeinfo (Closes: #711298)