void verifyrun(string file)
{
    printf("\n"
            "checking tmp/docs/latex/" + file + ":\n");

    system(P_NOCHECK,
           "grep -i \"overfull\\|undefined\" " + file + " | "
            "fgrep -v polymorphism/undefined");
}

void verify()
{   
    chdir("tmp/docs/latex");

    verifyrun("cplusplus.log");
    verifyrun("cplusplusus.log");
    
    exit(0);
}




