Single source publishing tool based on DocBook XML
