Bash scripts for working with DocBook 5