X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fconfiguring.texi;h=49f4ccdfc15c719706687413ae297e719a1ba18e;hb=c03a42996cfd422728e85631682ed13a8c298f2a;hp=386f6dd547334075399c90c98c2445a890f50431;hpb=8444d8d47de5e5f8d076b6f43f73c2c29494031e;p=pspp

diff --git a/doc/configuring.texi b/doc/configuring.texi
index 386f6dd547..49f4ccdfc1 100644
--- a/doc/configuring.texi
+++ b/doc/configuring.texi
@@ -580,10 +580,10 @@ acceptable to PostScript printers and other interpreters.
 The available options are listed below.
 
 @table @code
-@item output-file=@var{filename}
+@item output-file=@var{file-name}
 
-File to which output should be sent.  This can be an ordinary filename
-(i.e., @code{"pspp.ps"}), a pipe filename (i.e., @code{"|lpr"}), or
+File to which output should be sent.  This can be an ordinary file name
+(i.e., @code{"pspp.ps"}), a pipe (i.e., @code{"|lpr"}), or
 stdout (@code{"-"}).  Default: @code{"pspp.ps"}.
 
 @item headers=@var{boolean}
@@ -665,10 +665,10 @@ terminal or output to printers.  The ASCII driver has class name
 The available options are listed below.
 
 @table @code
-@item output-file=@var{filename}
+@item output-file=@var{file-name}
 
-File to which output should be sent.  This can be an ordinary filename
-(e.g., @code{"pspp.txt"}), a pipe filename (e.g., @code{"|lpr"}), or
+File to which output should be sent.  This can be an ordinary file name
+(e.g., @code{"pspp.txt"}), a pipe (e.g., @code{"|lpr"}), or
 stdout (@code{"-"}).  Default: @code{"pspp.list"}.
 
 @item paginate=@var{boolean}
@@ -797,14 +797,19 @@ tables-capable web browsers such as Emacs' w3-mode.  Its configuration
 is very simple.  Currently, the output has a very plain format.  In the
 future, further work may be done on improving the output appearance.
 
-There are is only one option:
+There are only a few options:
 
 @table @code
-@item output-file=@var{filename}
+@item output-file=@var{file-name}
 
-File to which output should be sent.  This can be an ordinary filename
-(i.e., @code{"pspp.ps"}), a pipe filename (i.e., @code{"|lpr"}), or
-stdout (@code{"-"}).  Default: @code{"pspp.html"}.
+File to which output should be sent.  This can be an ordinary file name
+(i.e., @code{"pspp.ps"}), a pipe (i.e., @code{"|lpr"}), or
+stdout (@code{"-"}).  Default: @file{"pspp.html"}.
+
+@item chart-files=@var{file-name-template}
+Template for the file names used for charts, which are output in PNG
+format.  The name should contain a single @samp{#}, which is replaced by
+the chart number.  Default: @file{"pspp-#.png"}.
 @end table
 
 @node Miscellaneous configuring,, HTML driver class, Configuration