# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778103710 -7200
# Node ID 5fea7180155cff5f7515fa061e0d132e0f0fd4b1
# Parent  62407bd73ba887627be9996da2aa6f9d177f10e1
Also copy the license files from the LICENSES directory to the build output directory

diff -r 62407bd73ba8 -r 5fea7180155c docs/conf.py
--- a/docs/conf.py	Wed May 06 23:37:35 2026 +0200
+++ b/docs/conf.py	Wed May 06 23:41:50 2026 +0200
@@ -61,6 +61,7 @@
 #html_theme = 'alabaster'
 html_theme = 'haiku'
 html_static_path = ['_static']
+html_extra_path = ['../LICENSES']
 #pygments_style = "sphinx"
 pygments_style = "default"