docs: clarify naming.

diff --git a/docs/conf.py b/docs/conf.py
index eedfa95e29c84a20cd4373079e6abe6dd368656b..d09a122bbaf8973a0ff3f882f0c0783ee6a42da6 100644 (file)
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -3,7 +3,7 @@ sys.path.insert(0, os.path.abspath("."))
 
 import nmigen
 
-project = "nMigen core"
+project = "nMigen toolchain"
 version = nmigen.__version__
 release = version.split("+")[0]
 copyright = "2020, nMigen developers"

diff --git a/docs/index.rst b/docs/index.rst
index d1b0a0f21f48d650d3bdc339827abd7bc789ab49..2beb5d914d0b5dd61ec9048648d71b7be4590ff0 100644 (file)
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -1,5 +1,5 @@
-Core language
-#############
+Toolchain
+#########
 
 .. warning::