Shell scripts to manage DocBook documents