[Bug 747811] mariadb: install-info: warning: no info dir entry in `/usr/share/info/mysql.info.gz'