From 2c386b9da563884ee9d293d74bab2886c8f28320 Mon Sep 17 00:00:00 2001
From: Pradyun Gedam <pradyunsg@users.noreply.github.com>
Date: Mon, 6 May 2024 18:28:17 +0100
Subject: [PATCH] Use the appropriate Sphinx directive instead of weird text

---
 docs/customisation/index.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/customisation/index.md b/docs/customisation/index.md
index aa83c166..47fe24ba 100644
--- a/docs/customisation/index.md
+++ b/docs/customisation/index.md
@@ -74,7 +74,11 @@ html_theme_options = {
 
 (top_of_page_button)=
 
-### `top_of_page_button` (deprecated, due to be removed after 2024-11-01)
+### `top_of_page_button`
+
+```{deprecated} 2024.05.06
+This will be removed after 2024-11-01. Use `top_of_page_buttons` instead.
+```
 
 Controls which button is shown on the top of the page. The only supported values are `"edit"` (the default) and `None`.