More work getting the DocBook file output working.