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

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

    latexdoc("", 0);
    latexdoc("us", 0);

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

    exit(0);
}
