# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778140223 -7200
# Node ID d8ac51cba0ff448cbc657b299cc0711abc89c149
# Parent  69283c05ba480367de61992e9ee5afff16f36364
Customize the HTML title for the haiku theme

diff -r 69283c05ba48 -r d8ac51cba0ff docs/conf.py
--- a/docs/conf.py	Thu May 07 09:28:54 2026 +0200
+++ b/docs/conf.py	Thu May 07 09:50:23 2026 +0200
@@ -58,12 +58,15 @@
 # -- Options for HTML output -------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output
 
+html_static_path = ['_static']
+html_extra_path = ['../LICENSES']
+
 #html_theme = 'alabaster'
 html_theme = 'haiku'
-html_static_path = ['_static']
-html_extra_path = ['../LICENSES']
-#pygments_style = "sphinx"
-pygments_style = "default"
+html_title = 'The %s v%s' % (project, release)
+html_short_title = html_title
+pygments_style = "sphinx"
+#pygments_style = "default"
 
 
 def setup(app):