We're leaving this section of our site up for the time being, but any updates will occur on the new documentation wiki.
Moving to a new folder
Renaming the folder that ProofBuddy resides in is a relatively easy process, with one catch.
1 - You'll need to actually rename the folder. This is easiest with an FTP program like FileZilla, although most hosting control panels also have a way to rename folders.
2 - You'll need to edit the /cache/config.inc.php file (/user/config.inc.php in version 1.0) to point to the new folder. Look for a line that starts with $script_root. After the equals sign in quotes you will see the full path to the old folder. Change this to the path of the new folder so ProofBuddy can find its files.