Shell scripts to manage DocBook documents
