diff --git a/docs/source/install.rst b/docs/source/install.rst
index ba578d2..cb125ea 100644
--- a/docs/source/install.rst
+++ b/docs/source/install.rst
@@ -63,7 +63,7 @@ Note that this will install Yosys, Yosys-SMTBMC and ABC (as ``yosys-abc``):
 
 .. code-block:: text
 
-   git clone https://github.com/YosysHQ/yosys
+   git clone https://github.com/YosysHQ/yosys --recurse-submodules
    cd yosys
    make -j$(nproc)
    sudo make install