void distclean()
{
    list extensions;
    int idx;

    clean(0);

    run("rm -f script.log yo/legal.shtml latex/legal.shtml html/legal.shtml");
    run("rm -f html/cplusplus*.html");
    run("rm -f html/target.shtml html/contents.html html/index.html");
    run("rm -f html/cppindex.html html/cplusplus.index zip/cplusplus.*.zip");

    extensions = strtok("aux dvi idx ilg ind latex log out pdf ps toc", " ");
    for(idx = listlen(extensions); idx--; )
        run("rm -f latex/cplusplus*." + extensions[idx]);

    run("rm -rf src/*/*/o src/*/o");

    run("rm -rf zip/cplusplus.txt");

    exit(0);
}





