void latex()
{
    system("rm -f tmp/cplusplus-stamp tmp/_cplusplus-stamp tmp/dvi-stamp "
                 "tmp/docs/latex/cplusplus.*");

    latexdoc("");

    exit(0);
}
