; * etc/NEWS: Fix typo.

diff --git a/etc/NEWS b/etc/NEWS
index d06b2a2f205dc0bbf22c0a903b69b2ef20e9eb4d..9c74c84f456529f5fce0b269402f2124e1bfd638 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -2041,7 +2041,7 @@ variable for remote shells.  It still defaults to "/bin/sh".
 *** 'shell-command-dont-erase-buffer' accepts the value 'erase' to
 force to erase the output buffer before execution of the command.
 
-*** The new functions shell-command-save-pos-or-erase' and
+*** The new functions 'shell-command-save-pos-or-erase' and
 'shell-command-set-point-after-cmd' control how point is handled
 between two consecutive shell commands in the same buffer.