Shell scripts for managing DocBook documents
