From 481228864a1d2aa5217ec0c40ac64e1d21d80808 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Domen=20Ko=C5=BEar?= Date: Mon, 15 Jun 2020 18:06:41 +0200 Subject: [PATCH] This page: make it work --- live.py | 1 + source/_templates/srclinks.html | 8 +++++--- source/conf.py | 4 ++-- 3 files changed, 8 insertions(+), 5 deletions(-) diff --git a/live.py b/live.py index bdfa816..4177e23 100644 --- a/live.py +++ b/live.py @@ -8,5 +8,6 @@ print("Doing an initial build of the docs...") build_docs() server.watch("source/*.rst", build_docs) +server.watch("_templates/*.html", build_docs) server.watch("source/**/*.rst", build_docs) server.serve(root="build/html") diff --git a/source/_templates/srclinks.html b/source/_templates/srclinks.html index 68d1357..9b8519b 100644 --- a/source/_templates/srclinks.html +++ b/source/_templates/srclinks.html @@ -1,14 +1,16 @@ +{%- if show_source and has_source and sourcename %} +{%- endif %} \ No newline at end of file diff --git a/source/conf.py b/source/conf.py index 641344f..46aa0c1 100644 --- a/source/conf.py +++ b/source/conf.py @@ -159,15 +159,15 @@ html_theme = "flask" # Custom sidebar templates, maps document names to template names. html_sidebars = { '**': [ + 'searchbox.html', 'localtoc.html', 'relations.html', - 'searchbox.html', 'srclinks.html', ], 'index': [ + 'searchbox.html', 'globaltoc.html', 'relations.html', - 'searchbox.html', 'srclinks.html', ], }