From 7b7d90160f50a673cc2c1bf8a01e6ba08aa12e0d Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Sat, 22 Mar 2025 14:18:57 +1300
Subject: [PATCH] Docs: Move verilog.rst to using_yosys

Was previously in yosys_internals which is more developer focused, rather than user focused.
---
 docs/source/using_yosys/index.rst                        | 1 +
 docs/source/{yosys_internals => using_yosys}/verilog.rst | 2 --
 docs/source/yosys_internals/index.rst                    | 1 -
 3 files changed, 1 insertion(+), 3 deletions(-)
 rename docs/source/{yosys_internals => using_yosys}/verilog.rst (99%)

diff --git a/docs/source/using_yosys/index.rst b/docs/source/using_yosys/index.rst
index 0ea91fae7..b243d431e 100644
--- a/docs/source/using_yosys/index.rst
+++ b/docs/source/using_yosys/index.rst
@@ -16,3 +16,4 @@ ways Yosys can interact with designs for a deeper investigation.
    synthesis/index
    more_scripting/index
    bugpoint
+   verilog
diff --git a/docs/source/yosys_internals/verilog.rst b/docs/source/using_yosys/verilog.rst
similarity index 99%
rename from docs/source/yosys_internals/verilog.rst
rename to docs/source/using_yosys/verilog.rst
index a1941963d..4ab4dd998 100644
--- a/docs/source/yosys_internals/verilog.rst
+++ b/docs/source/using_yosys/verilog.rst
@@ -1,8 +1,6 @@
 Notes on Verilog support in Yosys
 =================================
 
-.. TODO:: how much of this is specific to the read_verilog and should be in :doc:`/yosys_internals/flow/verilog_frontend`?
-
 Unsupported Verilog-2005 Features
 ---------------------------------
 
diff --git a/docs/source/yosys_internals/index.rst b/docs/source/yosys_internals/index.rst
index 3dd4224fa..483cc2bf8 100644
--- a/docs/source/yosys_internals/index.rst
+++ b/docs/source/yosys_internals/index.rst
@@ -38,5 +38,4 @@ as reference to implement a similar system in any language.
    formats/index
    extending_yosys/index
    techmap
-   verilog
    hashing