[doc] Fix issue in layout.html TRIQS#912

Wentzell · Sep 20, 2023 · 873e425 · 873e425
1 parent ed06c9d
commit 873e425
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html
@@ -8,8 +8,9 @@
 {# Not strictly valid HTML, but it's the only way to display/scale
    it properly, without weird scripting or heaps of work
 #}
+{%- set _logo_url = logo_url|default(pathto('_static/' + (logo or ""), 1)) %}
 <a href={{ pathto('index') }}>
-  <img src="{{ pathto('_static/' + logo, 1) }}" class="logo" alt="{{ _('Logo') }}"/>
+  <img src="{{ _logo_url }}" class="logo" alt="{{ _('Logo') }}"/>
 </a>
 
 {% if theme_display_version %}

diff --git a/packaging/Dockerfile.ubuntu-clang b/packaging/Dockerfile.ubuntu-clang
@@ -43,7 +43,7 @@ RUN apt-get update && apt-get install -y lsb-release wget software-properties-co
       #python3-nbsphinx \
       #python3-sphinx-rtd-theme && \
       pip3 install myst-parser linkify-it-py && \
-      pip3 install sphinx==5.3.0 nbsphinx sphinx-rtd-theme
+      pip3 install sphinx nbsphinx sphinx-rtd-theme
 
 ENV PYTHON_VERSION=3.10 \
     CC=clang-${LLVM} CXX=clang++-${LLVM} CXXFLAGS="-stdlib=libc++"