Export DocBook to file system.