docs: Fix filenames for spec files

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

diff --git a/docs/user.rst b/docs/user.rst
index 26a34fa98c609d874eb03d19b8880aafc2f92068..7f8e298b1d4ac70656cfb6ec9e927db7ca6b5dec 100644 (file)
--- a/docs/user.rst
+++ b/docs/user.rst
@@ -159,13 +159,13 @@ The most usual game-creation command looks something like this:
                            /^^^^^^^^^^^ /^^^^^^^^^^^^^^^^^' '^^^\
                            `table spec  `game name     game spec'
 
-Here ``local-users`` refers to the file ``local-users.table.spec`` in the
+Here ``local-users`` refers to the file ``local-users.table.toml`` in the
 Otter specs directory (``/volatile/Otter/specs`` on chiark).  The table
 spec file handles access control (and some other global properties)
 This particular file says that all local shell account users may join
 the game.
 
-``demo`` refers to the file ``demo.game.spec``.  The "game spec" says what
+``demo`` refers to the file ``demo.game.toml``.  The "game spec" says what
 shape the table is and what pieces there are.  This is a simple demo game.
 
 Currently there are also ``penultima`` and ``mao`` game specs.