From df96731c7595a2ec18fdcf15e62dab4ecc7c7685 Mon Sep 17 00:00:00 2001
From: Melody Horn <melody@boringcactus.com>
Date: Wed, 28 Oct 2020 18:25:00 -0600
Subject: tidy up index

---
 index.rst | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/index.rst b/index.rst
index 5749559..08ad2d7 100644
--- a/index.rst
+++ b/index.rst
@@ -49,11 +49,9 @@ Discuss
 * `permanent discussion mailing list <https://lists.sr.ht/~boringcactus/crowbar-lang-devel>`_
 * ephemeral discussions via IRC: #crowbar-lang on freenode (`join via irc <ircs://chat.freenode.net/#crowbar-lang>`_, `join via web <https://webchat.freenode.net/#crowbar-lang>`_)
 
-Specification
-=============
-
 ..  toctree::
     :maxdepth: 2
+    :hidden:
 
     vs-c
     tagged-unions
-- 
cgit v1.2.3