From a9d25ab808ec603ed49c94ccc7bfc592c0331112 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Thu, 9 Jul 2026 15:50:58 +1200
Subject: [PATCH] Docs: Minor tidying

---
 docs/source/code_examples/intro/Makefile                  | 1 +
 .../yosys_internals/extending_yosys/test_suites.rst       | 8 ++++----
 passes/equiv/equiv_opt.cc                                 | 4 ++++
 3 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/docs/source/code_examples/intro/Makefile b/docs/source/code_examples/intro/Makefile
index 314ae8a88..074b8dfa9 100644
--- a/docs/source/code_examples/intro/Makefile
+++ b/docs/source/code_examples/intro/Makefile
@@ -13,3 +13,4 @@ $(DOTS): counter.v counter.ys mycells.lib
 .PHONY: clean
 clean:
 	@rm -f *.dot
+	@rm -f synth.v
diff --git a/docs/source/yosys_internals/extending_yosys/test_suites.rst b/docs/source/yosys_internals/extending_yosys/test_suites.rst
index f506f5c87..04ad53362 100644
--- a/docs/source/yosys_internals/extending_yosys/test_suites.rst
+++ b/docs/source/yosys_internals/extending_yosys/test_suites.rst
@@ -18,8 +18,8 @@ tests.
 
 .. warning::
 
-   There are limitations when using `Ninja` as generator, so we suggest using
-   `Unix Makefiles` to make running tests in parallel possible. However, it is
+   There are limitations when using ``Ninja`` as generator, so we suggest using
+   ``Unix Makefiles`` to make running tests in parallel possible. However, it is
    possible to use it directly by running:
 
 .. code:: console
@@ -27,8 +27,8 @@ tests.
    cd tests
    make -j9
 
-Please note that in this case default build directory is `build` but can be
-overwritten by providing `BUILD_DIR` variable.
+Please note that in this case default build directory is ``build`` but can be
+overwritten by providing :makevar:`BUILD_DIR` variable.
 
 Vanilla tests
 ~~~~~~~~~~~~~
diff --git a/passes/equiv/equiv_opt.cc b/passes/equiv/equiv_opt.cc
index db793ac6a..13dbc23b5 100644
--- a/passes/equiv/equiv_opt.cc
+++ b/passes/equiv/equiv_opt.cc
@@ -63,6 +63,10 @@ struct EquivOptPass:public ScriptPass
 		log("    -nocheck\n");
 		log("        disable running check before and after the command under test.\n");
 		log("\n");
+		log("    -ignore-unknown-cells\n");
+		log("        ignore all cells that can not be matched to a SAT model during\n");
+		log("        equiv_induct.\n");
+		log("\n");
 		log("The following commands are executed by this verification command:\n");
 		help_script();
 		log("\n");