Move Icarus Verilog extensions documentation to the usage section.

Also fix the text in the usage section index.
2024-01-28 17:44:23 +00:00 · 2024-01-28 17:44:23 +00:00 · 9cccd35e59
parent 81d7abaf88
commit 9cccd35e59
3 changed files with 2 additions and 3 deletions
--- a/Documentation/developer/guide/misc/index.rst
+++ b/Documentation/developer/guide/misc/index.rst
@ -5,7 +5,6 @@ Miscellaneous
 .. toctree::
   :maxdepth: 1

-   extensions
   ieee1364-notes
   swift
   xilinx-hint
--- a/Documentation/usage/icarus_verilog_extensions.rst
+++ b/Documentation/usage/icarus_verilog_extensions.rst
--- a/Documentation/usage/index.rst
+++ b/Documentation/usage/index.rst
@ -2,8 +2,7 @@
 Icarus Verilog Usage
 ====================

-This section contains documents to help support developers who contribute to
-Icarus Verilog.
+This section contains documents to help support Icarus Verilog users.

 .. toctree::
   :maxdepth: 1
@ -20,5 +19,6 @@ Icarus Verilog.
   vhdlpp_flags
   gtkwave
   vpi
+   icarus_verilog_extensions
   icarus_verilog_quirks
   reporting_issues