From: Ian Jackson Date: Wed, 14 Apr 2021 23:30:54 +0000 (+0100) Subject: docs: Fix filenames for spec files X-Git-Tag: otter-0.5.0~24 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=082304ca25250a4a10ce8960297537648012abe5;p=otter.git docs: Fix filenames for spec files Signed-off-by: Ian Jackson --- diff --git a/docs/user.rst b/docs/user.rst index 26a34fa9..7f8e298b 100644 --- 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.