# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 982852954 0
# Node ID dc5e51c4c0c62685035658c4c6f68a8bba6245fb
# Parent  d128130f1ce41f94a13109e757363605d2d17000
(Keyboard Translations): Remove a `@need 3000'
in the example.

diff -r d128130f1ce4 -r dc5e51c4c0c6 man/custom.texi
--- a/man/custom.texi	Thu Feb 22 13:56:35 2001 +0000
+++ b/man/custom.texi	Thu Feb 22 14:42:34 2001 +0000
@@ -1950,7 +1950,6 @@
 ;; @r{Translate @kbd{C-h} to @key{DEL}.}
 (keyboard-translate ?\C-h ?\C-?)
 
-@need 3000
 ;; @r{Translate @key{DEL} to @kbd{C-h}.}
 (keyboard-translate ?\C-? ?\C-h)
 @end example