From 2341523356403fc49b3edf5d095ebbb1d9884cb9 Mon Sep 17 00:00:00 2001 From: Andreas Motl Date: Wed, 26 Jul 2023 14:08:55 +0200 Subject: [PATCH] Sidebar navigation: Rename link label "CrateDB" to "How-to guides" --- CHANGES.rst | 1 + src/crate/theme/rtd/crate/sidebartoc.html | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/CHANGES.rst b/CHANGES.rst index 6d9ffcf2..4fe9edff 100644 --- a/CHANGES.rst +++ b/CHANGES.rst @@ -14,6 +14,7 @@ Unreleased - "CrateDB Cloud" documentation has been bundled into a single repository, now located at ``/docs/cloud``. - Two more links to "Examples and stacks" and "Community", have been added. + - Rename ``CrateDB`` to ``How-to guides``. 2023/05/15 0.27.1 diff --git a/src/crate/theme/rtd/crate/sidebartoc.html b/src/crate/theme/rtd/crate/sidebartoc.html index f9e2d00c..da068bc4 100644 --- a/src/crate/theme/rtd/crate/sidebartoc.html +++ b/src/crate/theme/rtd/crate/sidebartoc.html @@ -19,11 +19,11 @@ {% endif %} {% if project == 'CrateDB: How-Tos' %}
  • - CrateDB + How-to guides {{ toctree(maxdepth=3|toint, collapse=True, includehidden=theme_globaltoc_includehidden|tobool) }}
  • {% else %} - + {% endif %} {% if project == 'CrateDB: Reference' %}