Searched refs:htmlmap_filename (Results 1 – 2 of 2) sorted by relevance
5 def update_htmlmap_links(builder,htmlmap_filename): argument19 …with open(htmlmap_filename+'_modified', "w") as htmlmap_file_modified, open(htmlmap_filename, "r")…28 os.rename(htmlmap_filename + '_modified',htmlmap_filename)
90 htmlmap_filename = os.path.join('manualpages', 'htmlmap')91 if not os.path.isfile(htmlmap_filename):92 raise Exception("Expected file %s not found. " % htmlmap_filename)93 manpage_map_raw = htmlmap_to_dict(htmlmap_filename)196 def htmlmap_to_dict(htmlmap_filename: str) -> Dict[str,str]:198 with open(htmlmap_filename, 'r') as f:207 print("Warning: skipping unexpected line in " + htmlmap_filename + ":")