diff --git a/developer_manual/conf.py b/developer_manual/conf.py index d1e88f33a..fb692b10a 100644 --- a/developer_manual/conf.py +++ b/developer_manual/conf.py @@ -29,7 +29,7 @@ from conf import * # Add any Sphinx extension module names here, as strings. They can be extensions # coming with Sphinx (named 'sphinx.ext.*') or your custom ones. -extensions += ['sphinx.ext.todo', 'rst2pdf.pdfbuilder', 'sphinx.ext.intersphinx', 'sphinxcontrib.phpdomain', 'sphinx_toolbox.collapse'] +extensions += ['sphinx.ext.todo', 'rst2pdf.pdfbuilder', 'sphinx.ext.intersphinx', 'sphinxcontrib.phpdomain', 'sphinx_toolbox.collapse', 'sphinx_reredirects'] # Add any paths that contain templates here, relative to this directory. templates_path = ['../_shared_assets/templates'] @@ -314,3 +314,14 @@ html_context['theme_vcs_pageview_mode'] += current_docs highlight_options = { 'php': {'startinline': True}, } + +# Redirect old URLs +# https://documatt.gitlab.io/sphinx-reredirects/usage.html +redirects = { + "core/index": "../server", + "core/code-back-end": "../server/code-back-end.html", + "core/code-front-end": "../server/code-front-end.html", + "core/externalapi": "../server/externalapi.html", + "core/static-analysis": "../server/static-analysis.html", + "core/unit-testing": "../server/unit-testing.html" +} diff --git a/requirements.txt b/requirements.txt index c1224c72b..81390c022 100644 --- a/requirements.txt +++ b/requirements.txt @@ -29,5 +29,6 @@ sphinxcontrib-phpdomain==0.11.1 sphinxcontrib-qthelp==1.0.3 sphinxcontrib-serializinghtml==1.1.5 sphinx-toolbox==3.4.0 +sphinx-reredirects==0.1.2 urllib3==2.0.4 zipp==3.16.2