#define HTMLDEST    "../../tmp/manual"

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

    compiler = setOpt(CXX, "CXX") + ' ' + setOpt("", "ICMAKE_CPPSTD") ;

    cwd = chdir(".");

    md("tmp/manual/demos");
    md("tmp/manual/essence");

    chdir("documentation");

    if (!exists("usage/usage"))
    {
        chdir("usage");
        run(compiler + " -o usage usage.cc");
        run("./usage > ../manual/invoking/usage.txt");
        chdir("..");
    }

    chdir("manual");

    if (!exists("../../LICENSE"))
    {
        if (!exists("../../../LICENSE"))
            run("cp ~/git/bisonc++/src/LICENSE ../../LICENSE");
        else
            run("cp ../../../LICENSE ../../LICENSE");
    }

    run("yodl2html -l3 bisonc++.yo");
    run("rm -f ../../LICENSE");

    run("mv *.html " HTMLDEST);
    run("cp -r grammar/poly " HTMLDEST);
    run("cp -r grammar/essence " HTMLDEST);
    run("cp -r demos/rpn " HTMLDEST "/demos");


    exit(0);
}


