docs: reword slightly.

This commit is contained in:
whitequark 2020-07-01 03:59:16 +00:00
parent 9f731d185d
commit 20baea401b

View file

@ -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|