81 |
|
|
82 |
fprintf(output, "<html><head><title>%s</title>\n", relative_path); |
fprintf(output, "<html><head><title>%s</title>\n", relative_path); |
83 |
fprintf(output, "<link rel=\"stylesheet\" type='text/css' href='%sjscoverage.css'>\n", relative_path_to_ancestor); |
fprintf(output, "<link rel=\"stylesheet\" type='text/css' href='%sjscoverage.css'>\n", relative_path_to_ancestor); |
84 |
fprintf(output, "<link rel=\"stylesheet\" type='text/css' href='%ssh_nedit.css'>\n", relative_path_to_ancestor); |
fprintf(output, "<link rel=\"stylesheet\" type='text/css' href='%sjscoverage-sh_nedit.css'>\n", relative_path_to_ancestor); |
85 |
fprintf(output, "<script src=\"%sjscoverage.js\"></script>\n", relative_path_to_ancestor); |
fprintf(output, "<script src=\"%sjscoverage.js\"></script>\n", relative_path_to_ancestor); |
86 |
fprintf(output, "<script src=\"%ssh_main.js\"></script>\n", relative_path_to_ancestor); |
fprintf(output, "<script src=\"%sjscoverage-sh_main.js\"></script>\n", relative_path_to_ancestor); |
87 |
fprintf(output, "<script src=\"%ssh_javascript.js\"></script>\n", relative_path_to_ancestor); |
fprintf(output, "<script src=\"%sjscoverage-sh_javascript.js\"></script>\n", relative_path_to_ancestor); |
88 |
fprintf(output, "<script>\n"); |
fprintf(output, "<script>\n"); |
89 |
fprintf(output, "var gCurrentFile = \"%s\";\n", relative_path); |
fprintf(output, "var gCurrentFile = \"%s\";\n", relative_path); |
90 |
fprintf(output, "</script>\n"); |
fprintf(output, "</script>\n"); |
270 |
copy_resource("jscoverage.css", destination_directory); |
copy_resource("jscoverage.css", destination_directory); |
271 |
copy_resource("jscoverage.js", destination_directory); |
copy_resource("jscoverage.js", destination_directory); |
272 |
copy_resource("jscoverage-throbber.gif", destination_directory); |
copy_resource("jscoverage-throbber.gif", destination_directory); |
273 |
copy_resource("sh_main.js", destination_directory); |
copy_resource("jscoverage-sh_main.js", destination_directory); |
274 |
copy_resource("sh_javascript.js", destination_directory); |
copy_resource("jscoverage-sh_javascript.js", destination_directory); |
275 |
copy_resource("sh_nedit.css", destination_directory); |
copy_resource("jscoverage-sh_nedit.css", destination_directory); |
276 |
} |
} |