From eeb48666ca3c345b3357cd99302d058650886d88 Mon Sep 17 00:00:00 2001
From: phaer <hello@phaer.org>
Date: Tue, 18 Jun 2024 12:58:02 +0200
Subject: [PATCH] docs: fix reference titles

---
 docs/theme/reference_options.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/theme/reference_options.html b/docs/theme/reference_options.html
index bcf91490..940f3158 100644
--- a/docs/theme/reference_options.html
+++ b/docs/theme/reference_options.html
@@ -1,7 +1,7 @@
 ## Options
 {%- for name, option in options.items() recursive %}
 
-##{{loop.depth * "#"}} {{ name.replace("<", "&lt;").replace(">", "&gt;") }}
+##{{loop.depth * "#"}} {{ ((option.loc | join (".")) or name).replace("<", "&lt;").replace(">", "&gt;") }}
 
 {{ option.description or '' }}
 
@@ -29,6 +29,7 @@
         </td>
     </tr>
     {%- endif -%}
+
 </table>
 {% endif %}
 {%- if option.children -%}