// names may be a series of files or directories in src that are zipped into
// dest/zip. dest/zip is logged.
// src and dest do not have to end in /

void logZip_r(string src, string names, string zip, string dest)
{
    list files;
    int idx;
    string file;

    chdir(g_cwd);

    dest += "/";

    md(dest);

    if (src != "")
        chdir(src);

    backtick("zip -r " + g_cwd + dest + zip + " " + names);

    chdir(g_cwd + dest);
    log(zip);
}



