string remove1;
string remove2;

void setRemovals()
{
    remove1 = "tmp";
    remove2 = "o indexentry/o aux/o";
}

void clean()
{
    setRemovals();

    run("rm -rf " + remove1);

    chdir("src/htmlindex");
    run("rm -rf " + remove2);
    exit(0);
}




