# HG changeset patch
# User Alan Mackenzie <acm@muc.de>
# Date 1252700870 0
# Node ID d2cd7290d6d2c2066d6f124e000e913001d9baae
# Parent  540bac758b93ac99d3b7843fdf33c2f7a844ba01
(Terminal Output): document `send-string-to-terminal' in batch mode.

diff -r 540bac758b93 -r d2cd7290d6d2 doc/lispref/os.texi
--- a/doc/lispref/os.texi	Fri Sep 11 20:26:50 2009 +0000
+++ b/doc/lispref/os.texi	Fri Sep 11 20:27:50 2009 +0000
@@ -1954,7 +1954,8 @@
 Control characters in @var{string} have terminal-dependent effects.
 This function operates only on text terminals.  @var{terminal} may be
 a terminal object, a frame, or @code{nil} for the selected frame's
-terminal.
+terminal.  In batch mode, @var{string} is sent to stdout when
+@var{terminal} is @code{nil}.
 
 One use of this function is to define function keys on terminals that
 have downloadable function key definitions.  For example, this is how (on