From d97a243c22cd682e4e043bb50d45b4a7cde2ff15 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Thu, 22 Aug 2024 10:03:59 +1200
Subject: [PATCH] Docs: Intro to Yosys source section

---
 docs/source/yosys_internals/extending_yosys/extensions.rst | 2 ++
 docs/source/yosys_source/index.rst                         | 4 ++++
 2 files changed, 6 insertions(+)

diff --git a/docs/source/yosys_internals/extending_yosys/extensions.rst b/docs/source/yosys_internals/extending_yosys/extensions.rst
index f10c634b0..fa4ad51f8 100644
--- a/docs/source/yosys_internals/extending_yosys/extensions.rst
+++ b/docs/source/yosys_internals/extending_yosys/extensions.rst
@@ -8,6 +8,8 @@ Writing extensions
 
 .. todo:: update to use :file:`/code_examples/extensions/test*.log`
 
+.. todo:: should this be moved to yosys_source section?
+
 This chapter contains some bits and pieces of information about programming
 yosys extensions. Don't be afraid to ask questions on the YosysHQ Slack.
 
diff --git a/docs/source/yosys_source/index.rst b/docs/source/yosys_source/index.rst
index e93b01d4f..c1d8e3f18 100644
--- a/docs/source/yosys_source/index.rst
+++ b/docs/source/yosys_source/index.rst
@@ -1,6 +1,10 @@
 Yosys source details
 --------------------
 
+This section goes into additional detail on the Yosys source code and git
+repository.  This information is not needed for simply using Yosys, but may be
+of interest for developers looking to customise Yosys builds.
+
 .. toctree::
 
    build_verific