Update Sphinx version

Update Sphinx version used for docs from 6 to 8.2.3 to fix the search
issues. Also forked the sphinxcontrib-domaintools dependency to fix a
RuntimeError with python versions higher than 3.7

Author: AmirhosseinPoolad

doc/requirements.txt

@@ -2,11 +2,12 @@
 # used by Read The Docs to install python required
 # modules with pip.
 
-sphinx<7
+# Pinned sphinx's version to avoid breakage in future
+sphinx == 8.2.3
 sphinx_rtd_theme
 
 # Support custom domains
-sphinxcontrib-domaintools
+git+https://github.com/AmirhosseinPoolad/sphinxcontrib-domaintools
 
 # Support Markdown
 sphinx-markdown-tables

doc/src/conf.py

@@ -67,13 +67,13 @@
 master_doc = "index"
 
 project = "Verilog-to-Routing"
-copyright = "2012-2022, VTR Developers"
+copyright = "2012-2025, VTR Developers"
 author = "VTR Developers"
 
 version = get_vtr_version()
 release = get_vtr_release()
 
-language = None
+language = "en"
 
 exclude_patterns = ["_build"]
 
@@ -87,8 +87,6 @@
 
 html_theme = "sphinx_rtd_theme"
 
-html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
-
 html_logo = "_static/vtr_logo.svg"
 
 html_favicon = "_static/favicon.ico"