From 20baea401b309795261ec7bbed726acd2564c232 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
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 880c6e6..adf2f02 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 <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|
 
-- 
2.30.2