Refs #19: removes Docs/mysql.info from deb build 5.5.list