Regenerate DocBook example.