Converts a Texinfo file into DocBook XML