void manual()
{
    list files;
    string file;
    string cwd;
    int idx;

    cwd = chdir(".");

    md("tmp/manual");

    chdir("documentation");

    run("cp -r manual/html ../tmp/manual");

    chdir("manual");

    run("yodl2html -l3 " PROGRAM ".yo");
    run("mv *.html ../../tmp/manual/html");

    run("cp simrisc.css ../../tmp/manual/html");

//    run("cp -r images/*.jpg ../../tmp/manual/images");

    exit(0);
}
