60 def copy_files(dest_dir):  argument
69     shutil.copyfile(os.path.join(base_path,css), os.path.join(dest_dir,css))
70     map(lambda x: shutil.copyfile(os.path.join(base_path,x), os.path.join(dest_dir,x)), images)
75 def create_page(dest_dir, name):  argument
76     index = open(os.path.join(dest_dir, name), "w")
193 def write_title_page(dest_dir, last_time, last_tot_lines, last_tot_covered, dir_series):  argument
197     index= create_page(dest_dir, "index.html")
211 def write_directory_site(dest_dir, dir_name, last_time, dir_series, file_series):  argument
213     site = create_page(dest_dir, "%s.html" % escaped_dir)
228 def write_file_site(dest_dir, file_name, last_time, data_dir, last_id, file_series):  argument
230     site = create_page(dest_dir, "%s.html" % escaped_name)