From e2a73b3b854f5eaa1585c095e61ff5e6c5b17adc Mon Sep 17 00:00:00 2001
From: Paul-Elliot <peada@free.fr>
Date: Wed, 27 Nov 2024 18:12:21 +0100
Subject: [PATCH] Sidebar: Use short title if present

---
 src/document/sidebar.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/document/sidebar.ml b/src/document/sidebar.ml
index f9bb154814..faf22d80d2 100644
--- a/src/document/sidebar.ml
+++ b/src/document/sidebar.ml
@@ -101,7 +101,8 @@ end = struct
           in
           let content =
             match entry.kind with
-            | Page _ ->
+            | Page { short_title = Some st; _ } -> Comment.link_content st
+            | Page { short_title = None; _ } ->
                 let title =
                   let open Odoc_model in
                   match Comment.find_zero_heading entry.doc with