void latex()
{
    md("tmp/docs/latex");

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

    latexdoc("");
    latexdoc("us");

    printf("the log files are in tmp/docs/latex\n");

    exit(0);
}
