X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Finvoking.texi;h=b1a299720f246a519d98676e048811f3d884916f;hb=514d9af1f690c316a5ad501aa0083ba6c1e00e56;hp=f64c92712f61825540b77645a7f400767c613b8c;hpb=1e8aa549d8b7b19f814bbb08995aedb6a96630f6;p=pspp

diff --git a/doc/invoking.texi b/doc/invoking.texi
index f64c92712f..b1a299720f 100644
--- a/doc/invoking.texi
+++ b/doc/invoking.texi
@@ -107,7 +107,7 @@ A few options that apply generically are listed below.
 @item @option{-O format=@var{format}}
 @pspp{} uses the extension of the file name given on @option{-o} to
 select an output format.  Use this option to override this choice by
-specifying an alternate format, e.g.@: @option{-o pspp.out -O html} to
+specifying an alternate format, e.g.@: @option{-o pspp.out -O format=html} to
 write HTML to a file named @file{pspp.out}.  Use @option{--help} to
 list the available formats.
 
@@ -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@}}