Add documentaion note for missing cocotb-config
@@ -41,6 +41,11 @@ To install the development version of cocotb:
git clone https://github.com/cocotb/cocotb
pip3 install -e ./cocotb
+.. note::
+
+ After installation, you should be able to execute ``cocotb-config``.
+ If it is not found, you need to append its location to the ``PATH`` environment variable.
+ This may happen when you use the ``--user`` option to ``pip``, in which case the location is documented :ref:`here <python:inst-alt-install-user>`.
Native Linux Installation
-------------------------
