From 0397dfeedcf790eaa7a8c6c4d17bb4649142e9e4 Mon Sep 17 00:00:00 2001 From: whitequark Date: Wed, 1 Jul 2020 03:59:16 +0000 Subject: [PATCH] docs: reword slightly. --- docs/install.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/install.rst b/docs/install.rst index 7bcf106..f6caf9a 100644 --- a/docs/install.rst +++ b/docs/install.rst @@ -185,7 +185,7 @@ Development snapshot .. tab-container:: linux :title: Linux - If you have :ref:`previously ` installed Yosys manually, omit ``[builtin-yosys]`` from the following commands. + If you **did** install Yosys manually in a :ref:`previous step `, omit ``[builtin-yosys]`` from the following commands. |snapshot:first-time| -- 2.30.2