X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Flanguage.texi;fp=doc%2Flanguage.texi;h=66e5ba36383b09cbb0849a78e5537cec1c542786;hb=009350385d97d9fba2b33ea68cfe8b1aeebf1529;hp=36012f14093105583282564482d13e7f2aecc263;hpb=ece7245b6bf64b2d3d8a50472d18bbe176c982d4;p=pspp

diff --git a/doc/language.texi b/doc/language.texi
index 36012f1409..66e5ba3638 100644
--- a/doc/language.texi
+++ b/doc/language.texi
@@ -192,17 +192,12 @@ In batch mode only, that is, when reading commands from a file instead
 of an interactive user, any line that contains a non-space character
 in the leftmost column begins a new command.  Thus, each command
 consists of a flush-left line followed by any number of lines indented
-from the left margin.  In this mode, a plus sign, minus sign, or
-period (@samp{+}, @samp{@minus{}}, or @samp{.}) as the first character
+from the left margin.  In this mode, a plus or minus sign
+(@samp{+}, @samp{@minus{}}) as the first character
 in a line is ignored and causes that line to begin a new command,
 which allows for visual indentation of a command without that command
 being considered part of the previous command.
 
-Sometimes, one encounters syntax files that are intended to be
-interpreted in interactive mode rather than batch mode.  When this
-occurs, use the @samp{-i} command line option to force interpretation
-in interactive mode (@pxref{Language control options}).
-
 @node Types of Commands, Order of Commands, Commands, Language
 @section Types of Commands