Use the appropriate Sphinx directive instead of weird text

pradyunsg · May 6, 2024 · 2c386b9 · 2c386b9
1 parent ec8815a
commit 2c386b9
Showing 1 changed file with 5 additions and 1 deletion.
diff --git 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`.