[PATCH] DocBook: Use xmlto to process the DocBook files.