# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 792806568 0
# Node ID f0cd1c0ac565b6c14679f16d63220e5bf5c534c6
# Parent  e5f13cc95d026e0326772b50d22d03358f65f172
Doc fix.

diff -r e5f13cc95d02 -r f0cd1c0ac565 src/callint.c
--- a/src/callint.c	Tue Feb 14 21:48:14 1995 +0000
+++ b/src/callint.c	Wed Feb 15 00:02:48 1995 +0000
@@ -80,7 +80,8 @@
      This skips events that are integers or symbols.\n\
 f -- Existing file name.\n\
 F -- Possibly nonexistent file name.\n\
-k -- Key sequence (string).\n\
+k -- Key sequence (downcase the last event if needed to get a definition).\n\
+K -- Key sequence to be redefined (do not downcase the last event).\n\
 m -- Value of mark as number.  Does not do I/O.\n\
 n -- Number read using minibuffer.\n\
 N -- Raw prefix arg, or if none, do like code `n'.\n\