From: whitequark <whitequark@whitequark.org>
Date: Thu, 2 Jul 2020 23:08:10 +0000 (+0000)
Subject: docs/index: rename to "Language & toolchain".
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8442d2719317b6d4b1419fe26addc28f8aaa67e1;p=nmigen.git

docs/index: rename to "Language & toolchain".
---

diff --git a/docs/index.rst b/docs/index.rst
index 2beb5d9..3b273ca 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -1,5 +1,5 @@
-Toolchain
-#########
+Language & toolchain
+####################
 
 .. warning::