Some documentation is generated from XML DocBook sources in docs/ when a new
release is created.  This currently includes README, NEWS, TODO, and AUTHORS.
