From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7871) id 06057385B1B5; Mon, 28 Nov 2022 12:04:14 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 06057385B1B5 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1669637054; bh=CqDa3hYb13Q05mkpD02Ry7A6w3Ncyt+FHaFRRWkdsGc=; h=From:To:Subject:Date:From; b=G7gTaemKLQBZ58CmAmtgi6fjvzCh89dPRebzTd9d3OnLFOSiVRxenUcmQ1yCEznsb /EtM4uTYPoIdv7urQenNK7B8vrTAiCwn+rI6BuGfDZp9P94V7IGfUIuJEqWFdJOT5F 1+MQP0daCuOGz/3vxJ8WcWLzzvG1iDVydWwgJHTo= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Marc Poulhi?s To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-4362] ada: doc/share/conf.py: Switch the HTML documentation to using the RTD theme X-Act-Checkin: gcc X-Git-Author: Joel Brobecker X-Git-Refname: refs/heads/master X-Git-Oldrev: 80ad275cf1e6f308d3bbafc34635eb56851d6862 X-Git-Newrev: 81885f5cca22fe82adbe90eb1a5f7808fc083bec Message-Id: <20221128120414.06057385B1B5@sourceware.org> Date: Mon, 28 Nov 2022 12:04:14 +0000 (GMT) List-Id: https://gcc.gnu.org/g:81885f5cca22fe82adbe90eb1a5f7808fc083bec commit r13-4362-g81885f5cca22fe82adbe90eb1a5f7808fc083bec Author: Joel Brobecker Date: Fri Nov 25 17:53:53 2022 +0400 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'. Diff: --- 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 bb36bfa0c6a..9ab80e7759e 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'):