docs: reword slightly.

diff --git a/docs/install.rst b/docs/install.rst
index 7bcf1060ce257bd7dfa79ebff41b1b95c23cd30f..f6caf9aceb76b9ce6f5eb8497654476cae7b37fe 100644 (file)
--- a/docs/install.rst
+++ b/docs/install.rst
@@ -185,7 +185,7 @@ Development snapshot
    .. tab-container:: linux
       :title: Linux
 
-      If you have :ref:`previously <install-deps>` installed Yosys manually, omit ``[builtin-yosys]`` from the following commands.
+      If you **did** install Yosys manually in a :ref:`previous step <install-deps>`, omit ``[builtin-yosys]`` from the following commands.
 
       |snapshot:first-time|