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