Docs: Some other fixes

KrystalDelusion · Jul 19, 2024 · caffcce · caffcce
1 parent 3b873ca
commit caffcce
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 6 deletions.
diff --git a/docs/source/using_yosys/more_scripting/load_design.rst b/docs/source/using_yosys/more_scripting/load_design.rst
@@ -30,10 +30,9 @@ keyword: Frontends
 .. note::
 
    The Verific frontend for Yosys, which provides the :cmd:ref:`verific`
-   command, requires the commercial `Tabby CAD Suite`_.  This is not the same as
-   simply having a Verific license when using Yosys.
-
-.. _Tabby CAD Suite: https://www.yosyshq.com/tabby-cad-datasheet
+   command, requires Yosys to be built with Verific.  This is not the same as
+   simply having a Verific license when using Yosys.  Check
+   :doc:`/yosys_internals/extending_yosys/build_verific` for more.
 
 Others:
 

diff --git a/docs/source/yosys_internals/extending_yosys/extensions.rst b/docs/source/yosys_internals/extending_yosys/extensions.rst
@@ -8,8 +8,6 @@ Writing extensions
 
 .. todo:: update to use :file:`/code_examples/extensions/test*.log`
 
-.. todo:: should this be moved to yosys_source section?
-
 This chapter contains some bits and pieces of information about programming
 yosys extensions. Don't be afraid to ask questions on the YosysHQ Slack.