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