(Terminal Output): Put "@code{}" around "stdout".

diff --git a/doc/lispref/os.texi b/doc/lispref/os.texi
index d2d2b48..e98bcab 100644 (file)
--- a/doc/lispref/os.texi
+++ b/doc/lispref/os.texi
@@ -1954,7 +1954,7 @@ This function sends @var{string} to @var{terminal} without alteration.
 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.  In batch mode, @var{string} is sent to stdout when
+terminal.  In batch mode, @var{string} is sent to @code{stdout} when
 @var{terminal} is @code{nil}.
 
 One use of this function is to define function keys on terminals that