Document the new --game and --load options on Unix.
authorjacob <jacob@cda61777-01e9-0310-a592-d414129be87e>
Sat, 30 Dec 2006 00:50:29 +0000 (00:50 +0000)
committerjacob <jacob@cda61777-01e9-0310-a592-d414129be87e>
Sat, 30 Dec 2006 00:50:29 +0000 (00:50 +0000)
git-svn-id: svn://svn.tartarus.org/sgt/puzzles@7040 cda61777-01e9-0310-a592-d414129be87e

puzzles.but

index f044670..69b452c 100644 (file)
@@ -105,7 +105,7 @@ menu}\q{Edit} menus instead.)
 
 \lcont{
 
-The Load and Save operations should preserve your entire game
+The Load and Save operations preserve your entire game
 history (so you can save, reload, and still Undo and Redo things you
 had done before saving).
 
@@ -308,8 +308,17 @@ missing. See \k{common-id} for more details on this.)
 
 (This section only applies to the Unix port.)
 
-In addition to specifying game parameters on the command line (see
-\k{common-cmdline}), you can also specify various options:
+In addition to being able to specify game parameters on the command
+line (see \k{common-cmdline}), there are various other options:
+
+\dt \cw{--game}
+
+\dt \cw{--load}
+
+\dd These options respectively determine whether the command-line
+argument is treated as specifying game parameters or a \i{save} file
+to \i{load}. Only one should be specified. If neither of these options
+is specified, a guess is made based on the format of the argument.
 
 \dt \cw{--generate }\e{n}