From 2bd53395fec3e7ea96316280f20a7eea3dd34d9b Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Thu, 5 Dec 2024 09:21:13 +1300
Subject: [PATCH] README: Some updating of web site section

---
 README.md | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/README.md b/README.md
index 93598a06d..1abc6a0eb 100644
--- a/README.md
+++ b/README.md
@@ -24,14 +24,14 @@ Web Site and Other Resources
 More information and documentation can be found on the Yosys web site:
 - https://yosyshq.net/yosys/
 
-The "Documentation" page on the web site contains links to more resources,
-including a manual that even describes some of the Yosys internals:
-- https://yosyshq.net/yosys/documentation.html
+Documentation from this repository is automatically built and available on Read
+the Docs:
+- https://yosyshq.readthedocs.io/projects/yosys
 
-Users interested in formal verification might want to use the formal verification
-front-end for Yosys, SymbiYosys:
-- https://symbiyosys.readthedocs.io/en/latest/
-- https://github.com/YosysHQ/SymbiYosys
+Users interested in formal verification might want to use the formal
+verification front-end for Yosys, SBY:
+- https://yosyshq.readthedocs.io/projects/sby/
+- https://github.com/YosysHQ/sby
 
 
 Installation