diff --git a/docs/install.rst b/docs/install.rst index 3d6b17c15..a8cb9ecbf 100644 --- a/docs/install.rst +++ b/docs/install.rst @@ -318,6 +318,10 @@ Editable development snapshot Installing board definitions ============================= -.. todo:: +This must be installed directly from github: - Explain how to install ``_. +.. code-block:: console + + $ pip install "amaranth-boards @ git+https://github.com/amaranth-lang/amaranth-boards.git" + +This is not to be confused with the PyPI package `amaranth_boards `_ which is currently a placeholder.