void verify()
{
    chdir("tmp/docs/latex");
    system(P_NOCHECK,
           "grep -i \"overfull\\|undefined\" cplusplus.log | "
            "fgrep -v polymorphism/undefined");
    exit(0);
}




