From 73da096070467ac06aef2c9591fabd9f609f319b Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Sat, 25 Jan 2025 13:38:58 +1300
Subject: [PATCH] docs: Cross reference contributing

.md points to .html on latest
.rst points to .md on main (not that it will work before this is merged)
---
 CONTRIBUTING.md                                           | 2 ++
 .../yosys_internals/extending_yosys/contributing.rst      | 8 ++++++++
 2 files changed, 10 insertions(+)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 36940ae1b..6c4376cc4 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -5,6 +5,8 @@ first time contributing to an open source project, please take a look at the
 following guide:
 https://opensource.guide/how-to-contribute/#orienting-yourself-to-a-new-project.
 
+Information about the Yosys coding style is available on our Read the Docs:
+https://yosys.readthedocs.io/en/latest/yosys_internals/extending_yosys/contributing.html.
 
 # Using the issue tracker
 
diff --git a/docs/source/yosys_internals/extending_yosys/contributing.rst b/docs/source/yosys_internals/extending_yosys/contributing.rst
index e06de61b1..2345a2e3c 100644
--- a/docs/source/yosys_internals/extending_yosys/contributing.rst
+++ b/docs/source/yosys_internals/extending_yosys/contributing.rst
@@ -1,6 +1,14 @@
 Contributing to Yosys
 =====================
 
+.. note::
+
+   For information on making a pull request on github, refer to our
+   |CONTRIBUTING|_.
+
+.. |CONTRIBUTING| replace:: :file:`CONTRIBUTING.md`
+.. _CONTRIBUTING: https://github.com/YosysHQ/yosys/CONTRIBUTING.md
+
 Coding Style
 ------------