From patchwork Mon Nov 28 12:05:24 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: =?utf-8?q?Marc_Poulhi=C3=A8s?= X-Patchwork-Id: 61158 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 0E2D6383600A for ; Mon, 28 Nov 2022 12:06:29 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0E2D6383600A DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1669637189; bh=OPFMXOnFfz9pfmhaKmXqN9tqQytdkTqMC7aXhmlSchY=; h=To:Cc:Subject:Date:List-Id:List-Unsubscribe:List-Archive: List-Post:List-Help:List-Subscribe:From:Reply-To:From; b=Gaa5D2mZSLZaZ6WGbl7T5ShdYI8RoTxern0q7GKU2IDNdXYDG3kUHxxZS+CcNvsGr viG/qDQv8LWeLlhU7chgQx1anOPVoXtnqqFi5S4tdY/IvWZAR/hctS1Xuq2jogkWSn L4H2YftYaUkrY5foacVbKADgDGVBySXuvDskNM/A= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wr1-x433.google.com (mail-wr1-x433.google.com [IPv6:2a00:1450:4864:20::433]) by sourceware.org (Postfix) with ESMTPS id 43A4D385222C for ; Mon, 28 Nov 2022 12:05:29 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 43A4D385222C Received: by mail-wr1-x433.google.com with SMTP id h11so9152824wrw.13 for ; Mon, 28 Nov 2022 04:05:29 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=OPFMXOnFfz9pfmhaKmXqN9tqQytdkTqMC7aXhmlSchY=; b=EdD1+HX9h5w8gBXluHh+OKwobAuOWQncxDmsPySzjIHofSBg3unjcKgWahv813D3lH oxuW4v2a6WTrJoh7XIcW5zhIAgAB+sv11SKXgbPZK+6VxHYpeZHuHkLDJlDQ+7a1VzZE jykI/YAacjxzA8oEc7XxnJqctS3ajNQGDEq7tkxBl2rYX2XuHuWxlgeTxX1blQfWhsFX 6+mLFXw/dyIYbs5Sezpsb2Hz4KjXEihlHqWl/hfaZFThl04j3cfh45Slxfd0hGptLyX6 8O7szWqxnlo0kRv3X24aYSjRK29gbeVU2eoNC2bR/VlSrctxRflJLHJYb1zKTd7GWBoE Pe7Q== X-Gm-Message-State: ANoB5pn6xOoO6y5UkC6txUCgnd1xbnW3qV2JHH8O+TDv/BSHiqY7/1FO rnjXreWVL5BlxyHDrt4M3LaHclQAlsaJ7w== X-Google-Smtp-Source: AA0mqf4PZplZLRp6+0nF2vmOfzCWReaZD/FFG/DHfvcNWlD4hZBWotIwh2FTc/pmvfglZHn+f5nGUw== X-Received: by 2002:adf:ec01:0:b0:242:568:32d3 with SMTP id x1-20020adfec01000000b00242056832d3mr9565086wrn.280.1669637128087; Mon, 28 Nov 2022 04:05:28 -0800 (PST) Received: from localhost.localdomain (static-176-191-105-132.ftth.abo.bbox.fr. [176.191.105.132]) by smtp.gmail.com with ESMTPSA id b10-20020adfde0a000000b0022e57e66824sm12418391wrm.99.2022.11.28.04.05.27 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 28 Nov 2022 04:05:27 -0800 (PST) To: gcc-patches@gcc.gnu.org Cc: Joel Brobecker Subject: [COMMITTED] ada: doc/share/conf.py: Switch the HTML documentation to using the RTD theme Date: Mon, 28 Nov 2022 13:05:24 +0100 Message-Id: <20221128120524.171679-1-poulhies@adacore.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 X-Spam-Status: No, score=-13.5 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: =?utf-8?q?Marc_Poulhi=C3=A8s_via_Gcc-patches?= From: =?utf-8?q?Marc_Poulhi=C3=A8s?= Reply-To: =?utf-8?q?Marc_Poulhi=C3=A8s?= Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org Sender: "Gcc-patches" From: Joel Brobecker 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'. Tested on x86_64-pc-linux-gnu, committed on master. --- 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'):