Build: change index.html to index.php in docs.sh