The db* files are copyright Cygnus Solutions and the GHC Team, and
distributed under the GNU General Public License. They're derived from the
Cygnus DocBook tools scripts.