docs: explain that `pip3 install -e` should be run after pulling.

diff --git a/docs/install.rst b/docs/install.rst
index dd64018a50ffe9a4bec0148cbec0fabce81a6883..032e7e564b9a2a9db58d54fd85f9385f07cd50dd 100644 (file)
--- a/docs/install.rst
+++ b/docs/install.rst
@@ -111,6 +111,9 @@ Any changes made to the ``nmigen`` directory will immediately affect any code th
 
    $ cd nmigen
    $ git pull --ff-only origin master
+   $ pip3 install --editable .
+
+It is important to run the `pip3 install --editable .` each time the development snapshot is updated in case package dependencies have been added or changed.
 
 
 Installing board definitions