diff options
| author | Joel Brobecker <brobecker@adacore.com> | 2022-11-25 17:53:53 +0400 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-28 13:02:32 +0100 |
| commit | 81885f5cca22fe82adbe90eb1a5f7808fc083bec (patch) | |
| tree | 963d4a053c61af04529b1fdf103fd14e8a814807 | |
| parent | 80ad275cf1e6f308d3bbafc34635eb56851d6862 (diff) | |
| download | gcc-81885f5cca22fe82adbe90eb1a5f7808fc083bec.zip gcc-81885f5cca22fe82adbe90eb1a5f7808fc083bec.tar.gz gcc-81885f5cca22fe82adbe90eb1a5f7808fc083bec.tar.bz2 | |
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'.
| -rw-r--r-- | gcc/ada/doc/share/conf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/doc/share/conf.py b/gcc/ada/doc/share/conf.py index bb36bfa..9ab80e7 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'): |