From: whitequark <whitequark@whitequark.org>
Date: Thu, 2 Jul 2020 23:08:10 +0000 (+0000)
Subject: docs/index: rename to "Language & toolchain".
X-Git-Tag: 24jan2021_ls180~44
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=76b3ef4b13b048d4d089fb72da922c1bee49562b;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::