From 8442d2719317b6d4b1419fe26addc28f8aaa67e1 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Thu, 2 Jul 2020 23:08:10 +0000
Subject: [PATCH] docs/index: rename to "Language & toolchain".

---
 docs/index.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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::
 
-- 
2.30.2