Converts a Texinfo file into DocBook XML
