[phpMyAdmin Git] [phpmyadmin/scripts] 0f09bc: Improve documentation build process