otter(1): Fix user docs for new CLI, using -g

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/docs/user.rst b/docs/user.rst
index ee9a3a1f2fe50c0d0f1e73f4fc31bfab9ef0c5ed..0b56b6d321103c98e3951f4baa00a53bcd75c91a 100644 (file)
--- a/docs/user.rst
+++ b/docs/user.rst
@@ -155,9 +155,9 @@ The most usual game-creation command looks something like this:
 
 ::
 
-  otter unix:ijackson::test reset --reset-table local-users demo
-       /~^^^^^^^^^^^^^^^^^'                    /^^^^^^^^^^^ '^^^\
-       `game name                   table spec'         game spec'
+  otter -g unix:ijackson::test reset --reset-table local-users demo
+          /~^^^^^^^^^^^^^^^^^'                    /^^^^^^^^^^^ '^^^\
+          `game name                   table spec'         game spec'
 
 Here ``local-users`` refers to the file ``local-users.table.toml`` in the
 Otter specs directory (``/volatile/Otter/specs`` on chiark).  The table
@@ -176,9 +176,9 @@ for a different game) with something like this:
 
 ::
 
-  otter unix:ijackson::test reset demo
-       /^^^^^^^^^^^^^^^^^^'       '^^^\
-       `game name                      `game spec
+  otter -g unix:ijackson::test reset demo
+          /^^^^^^^^^^^^^^^^^^'       '^^^\
+          `game name                      `game spec
 
 The ``otter`` command line tool has further subcommands for
 adding/removing players, for ad-hoc addition of pieces from the