From 81885f5cca22fe82adbe90eb1a5f7808fc083bec Mon Sep 17 00:00:00 2001 From: Joel Brobecker Date: Fri, 25 Nov 2022 17:53:53 +0400 Subject: [PATCH] ada: doc/share/conf.py: Switch the HTML documentation to using the RTD theme This commit adjust the sphinx configuration to use the "Read The Docs" theme, which has the advantage of allowing the navigation bar (containing among other things a search bar, and the TOC) to stay fixed while scrolling the contents of the page being read. This is particularly useful to allow access to those features while reading a long page, for instance. gcc/ada/ * doc/share/conf.py (extensions): Add 'sphinx_rtd_theme'. (html_theme): Set to 'sphinx_rtd_theme'. --- gcc/ada/doc/share/conf.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/ada/doc/share/conf.py b/gcc/ada/doc/share/conf.py index bb36bfa0c6a7..9ab80e7759e2 100644 --- a/gcc/ada/doc/share/conf.py +++ b/gcc/ada/doc/share/conf.py @@ -92,7 +92,7 @@ if doc_name == 'gnat_rm': exclude_patterns.append('share/gnat_project_manager.rst') print('ignoring share/gnat_project_manager.rst') -extensions = [] +extensions = ['sphinx_rtd_theme'] templates_path = ['_templates'] source_suffix = '.rst' master_doc = doc_name @@ -107,7 +107,7 @@ release = get_gnat_version() pygments_style = None tags.add(get_gnat_build_type()) -html_theme = 'sphinxdoc' +html_theme = 'sphinx_rtd_theme' if os.path.isfile('adacore_transparent.png'): html_logo = 'adacore_transparent.png' if os.path.isfile('favicon.ico'): -- 2.47.2