diff --git a/docs/build_docs.py b/docs/build_docs.py index 95a86cde..914f2fe8 100644 --- a/docs/build_docs.py +++ b/docs/build_docs.py @@ -83,6 +83,21 @@ def update_html_links(): print(f'Total number of links updated: {total_updated_links}') +def update_page_title(file_path: Path, new_title: str): + """Update the title of an HTML file.""" + + # Read the content of the file + with open(file_path, encoding='utf-8') as file: + content = file.read() + + # Replace the existing title with the new title + updated_content = re.sub(r'