Separated out the texinfo conversion so that this may be applied to a
generalized readme.