(Shell Mode):

  Document `comint-write-output', name change to `comint-delete-output'.

diff --git a/man/misc.texi b/man/misc.texi
index 4be159f8c41661c13d4f523f388ce32a9cb42583..884a771754d2a777f1a29e62124150f6980254f6 100644 (file)
--- a/man/misc.texi
+++ b/man/misc.texi
@@ -580,10 +580,19 @@ pending in the shell buffer and not yet sent.
 
 @item C-c C-o
 @kindex C-c C-o @r{(Shell mode)}
-@findex comint-kill-output
-Kill the last batch of output from a shell command
-(@code{comint-kill-output}).  This is useful if a shell command spews
-out lots of output that just gets in the way.
+@findex comint-delete-output
+Delete the last batch of output from a shell command
+(@code{comint-delete-output}).  This is useful if a shell command spews
+out lots of output that just gets in the way.  This command used to be
+called @code{comint-kill-output}.
+
+@item C-c C-s
+@kindex C-c C-s @r{(Shell mode)}
+@findex comint-write-output
+Write the last batch of output from a shell command to a file
+(@code{comint-write-output}).  With a prefix argument, the file is
+appended to instead.  Any prompt at the end of the output is not
+written.
 
 @item C-c C-r
 @itemx C-M-l