X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Flanguage.texi;h=78d38acdc6f0813fe2e1666fa7ddfa8b5bb69c31;hb=6bf6119d76b761cbbca0ca9e5b680f419eaf937b;hp=d117a0eeb0e2cd75d7aa5ec03b6c495ee5a6d384;hpb=5d6e6b3bb69323d1211e34411a8389a7e17f72ec;p=pspp-builds.git

diff --git a/doc/language.texi b/doc/language.texi
index d117a0ee..78d38acd 100644
--- a/doc/language.texi
+++ b/doc/language.texi
@@ -147,11 +147,6 @@ punctuator only as the last character on a line (except white space).
 When it is the last non-space character on a line, a period is not
 treated as part of another token, even if it would otherwise be part
 of, e.g.@:, an identifier or a floating-point number.
-
-Actually, the character that ends a command can be changed with
-@cmd{SET}'s ENDCMD subcommand (@pxref{SET}), but we do not recommend
-doing so.  Throughout the remainder of this manual we will assume that
-the default setting is in effect.
 @end table
 
 @node Commands
@@ -179,9 +174,7 @@ by a forward slash (@samp{/}).
 There are multiple ways to mark the end of a command.  The most common
 way is to end the last line of the command with a period (@samp{.}) as
 described in the previous section (@pxref{Tokens}).  A blank line, or
-one that consists only of white space or comments, also ends a command
-by default, although you can use the NULLINE subcommand of @cmd{SET}
-to disable this feature (@pxref{SET}).
+one that consists only of white space or comments, also ends a command.
 
 @node Syntax Variants
 @section Variants of syntax.