document generator for MySQL.