--- trunk/instrument.c	2007/08/01 13:51:53	2
+++ trunk/instrument.c	2007/08/11 17:41:23	7
@@ -83,7 +83,7 @@
   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='%ssh_nedit.css'>\n", relative_path_to_ancestor);
   fprintf(output, "<script src=\"%sjscoverage.js\"></script>\n", relative_path_to_ancestor);
-  fprintf(output, "<script src=\"%ssh_main.min.js\"></script>\n", relative_path_to_ancestor);
+  fprintf(output, "<script src=\"%ssh_main.js\"></script>\n", relative_path_to_ancestor);
   fprintf(output, "<script src=\"%ssh_javascript.min.js\"></script>\n", relative_path_to_ancestor);
   fprintf(output, "<script>\n");
   fprintf(output, "var gCurrentFile = \"%s\";\n", relative_path);
@@ -270,7 +270,7 @@
   copy_resource("jscoverage.css", destination_directory);
   copy_resource("jscoverage.js", destination_directory);
   copy_resource("jscoverage-throbber.gif", destination_directory);
-  copy_resource("sh_main.min.js", destination_directory);
+  copy_resource("sh_main.js", destination_directory);
   copy_resource("sh_javascript.min.js", destination_directory);
   copy_resource("sh_nedit.css", destination_directory);
 }