Shell scripts for managing DocBook documents