From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 19 Sep 2020 04:15:50 +0000 (+0200)
Subject: doc/invoking.texi (Main Options): Correct minor informational error
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7b43b700543f6914d8eaf3d41b42f95d1db1c487;p=pspp

doc/invoking.texi (Main Options): Correct minor informational error
---

diff --git a/doc/invoking.texi b/doc/invoking.texi
index e69b1ed66a..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.