docs: user: Include annotation of game name in --reset-table

Suggested-by: Aldabra Stoddart <aldabra@gmail.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/docs/user.rst b/docs/user.rst
index 70dc51ed4f121a284d347b83468ac9b94fc70ee2..f3b84f4a7ca6169196d80e0f058f46ac543d70c6 100644 (file)
--- a/docs/user.rst
+++ b/docs/user.rst
@@ -156,8 +156,8 @@ The most usual game-creation command looks something like this:
 ::
 
   otter reset --reset-table local-users unix:ijackson::test demo
-                           /^^^^^^^^^^^                    /^^^^
-                           `table spec            game spec
+                           /^^^^^^^^^^^ /^^^^^^^^^^^^^^^^^' '^^^\
+                           `table spec  `game name     game spec'
 
 Here ``local-users`` refers to the file ``local-users.table.spec`` in the
 Otter specs directory (``/volatile/Otter/specs`` on chiark).  The table
@@ -177,7 +177,7 @@ for a different game) with something like this:
 ::
 
   otter reset unix:ijackson::test demo
-             /^^^^^^^^^^^^^^^^^^^ ^^^^\
+             /^^^^^^^^^^^^^^^^^^' '^^^\
           game name                   game spec
 
 The ``otter`` command line tool has further subcommands for