DOC: enable breadcrumbs, disable top relbar, disable home button in s…

…idebar
mgeier · Sep 25, 2021 · 2d5477c · 2d5477c
1 parent e1a10e3
commit 2d5477c
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html
@@ -0,0 +1,3 @@
+{% extends "!layout.html" %}
+
+{% block relbar1 %}{% endblock %}
diff --git a/doc/conf.py b/doc/conf.py
@@ -33,7 +33,7 @@
 html_theme_options = {
     #'body_centered': False,
     #'body_max_width': None,
-    #'breadcrumbs': True,
+    'breadcrumbs': True,
     #'globaltoc_collapse': False,
     #'globaltoc_includehidden': True,
     #'left_buttons': [
@@ -55,7 +55,7 @@
 html_sidebars = {
    '**': [
        'github-badge.html',  # Custom template, see _templates/
-       'home.html',
+       #'home.html',
        'globaltoc.html',
        'separator.html',
        'indices.html',

diff --git a/git_rebase_rtd_branches.sh b/git_rebase_rtd_branches.sh
@@ -9,6 +9,7 @@ git push origin HEAD:%(refname:lstrip=3) --force
 '
 
 eval "$(git for-each-ref --shell --format="$fmt" \
+    refs/remotes/origin/breadcrumbs \
     refs/remotes/origin/readthedocs-sphinx-search \
     refs/remotes/origin/rightsidebar \
     )"