void sfExit(string path)
{
    program("programs");
    manualMayExit(path, 0);     // create the manual using the new progs

    putenv("YODL_BIN=" + g_cwd + g_install + BIN);
    run("yodl2html -o ../sf/index.html -I.:tmp/wip/macros "
                                                        "../sf/index.yo");
    exit(0);
}
    
