From f71db7f1b90a66f7eb9e12a149a2e455e22be02b Mon Sep 17 00:00:00 2001
From: Jacob Nevins <jacobn@chiark.greenend.org.uk>
Date: Sun, 17 Nov 2024 13:54:19 +0000
Subject: [PATCH] Docs: index 'bracketed paste' verbatim.

---
 doc/index.but | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/index.but b/doc/index.but
index aed37ce4..35c479ff 100644
--- a/doc/index.but
+++ b/doc/index.but
@@ -77,6 +77,7 @@ from other protocols
 \IM{copy and paste} cut and paste
 \IM{copy and paste} paste, copy and
 
+\IM{bracketed paste} bracketed paste
 \IM{bracketed paste} paste, bracketed
 
 \IM{three-button mouse} three-button mouse