Moved DocBook out