import shutil import re import os def update_htmlmap_links(builder,htmlmap_filename): """ Update manualpage links in an htmlmap file for use with Sphinx HTML builders html and dirhtml This converts file names in the htmlmap file (ending with .md) to the locations of the file that Sphinx generates. """ if builder.name == "dirhtml": postfix = "/" elif builder.name == "html": postfix = ".html" else: raise Exception("Unsupported builder named %s" % builder.name) with open(htmlmap_filename+'_modified', "w") as htmlmap_file_modified, open(htmlmap_filename, "r") as htmlmap_file: pattern = re.compile(".*\+\+\+\+man\+(.*)$") # Match URL in group for line in htmlmap_file.readlines(): match = re.match(pattern, line) if match: url = match.group(1) if url.startswith("manualpages"): line = os.path.splitext(line)[0] + postfix + "\n" htmlmap_file_modified.write(line) os.rename(htmlmap_filename + '_modified',htmlmap_filename)