void pdf()
{
    md("tmp/pdf");

    latexdoc();

        // now in tmp/latex

    system("dvips simrisc");

    system("ps2pdf simrisc.ps ../pdf/simrisc.pdf");

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

    exit(0);
}
