Quick introduction to DocBook