X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Flanguage.texi;h=19c9a6b9dc72593d76ec80ba7ba4722bf71e3772;hb=f51ecb48027e6b1eb46840ae25888a25b429f012;hp=a57d4ddadc0edbdc4897a40b721ec1c4136cdd53;hpb=cfbbebdd6b3085f4094c073e4ebd139ac1d37737;p=pspp-builds.git

diff --git a/doc/language.texi b/doc/language.texi
index a57d4dda..19c9a6b9 100644
--- a/doc/language.texi
+++ b/doc/language.texi
@@ -208,9 +208,9 @@ new command, which allows for visual indentation of a command without
 that command being considered part of the previous command. 
 The period terminating the end of a command is optional but recommended.
 
-In interactive mode, each command must  either be terminated with a period,
-or an empty line must follow the command.
-The use of (@samp{+} and @samp{@minus{}} as continuation characters is not
+In interactive mode, each command must be terminated with a period
+or by a blank line.
+The use of @samp{+} and @samp{@minus{}} as continuation characters is not
 permitted.
 
 @node Types of Commands