Publishing tool based on DocBook XML