From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 2 Sep 2020 06:17:50 +0000 (-0700)
Subject: doc: Describe running the "rc" file at pspp startup.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1221bdcab7b0ff387fc0206eee89425e7849bdb7;p=pspp

doc: Describe running the "rc" file at pspp startup.

Bug #54376.
Thanks to Harry Thijssen for reporting this bug.
---

diff --git a/doc/invoking.texi b/doc/invoking.texi
index f64c92712f..e69b1ed66a 100644
--- a/doc/invoking.texi
+++ b/doc/invoking.texi
@@ -157,7 +157,9 @@ interactive mode, respectively, rather than the default ``auto'' mode.
 
 @item @option{-r}
 @itemx @option{--no-statrc}
-Disables running @file{rc} at @pspp{} startup time.
+By default, at startup @pspp{} searches for a file named @file{rc} in
+the include path (described above) and, if it finds one, runs the
+commands in it.  This option disables this behavior.
 
 @item @option{-a @{enhanced|compatible@}}
 @itemx @option{--algorithm=@{enhanced|compatible@}}