Quote Originally Posted by gjh42 View Post
Unless your server configuration prohibits it, the configure.php files will be created automatically even if you haven't renamed the dist-configure files. I think those are there so installation can proceed normally for any kind of server setup.
Also work as a good template to compare against without some type of restoration or reinstallation. :)

Certainly hope that the server setup will allow whatever the confused student desires. Afterall from what seems like the original statement it was setup by the student. :)