doc: develop: optimizations: tools: use latest puncover release

Update the documentation to recommend installing the latest puncover
release publiced to the Python Package Index (PyPI).

At the time of this commit, the latest release on PyPI is v0.4.2, which
matches the latest release available on the puncover GitHub repo.

Signed-off-by: Henrik Brix Andersen <hebad@vestas.com>
This commit is contained in:
Henrik Brix Andersen 2025-06-17 10:28:31 +02:00 committed by Benjamin Cabé
commit 966ef0fefd

View file

@ -168,7 +168,7 @@ the files and view their ROM, RAM, and stack usage.
Before you can use this
target, install the puncover Python module::
pip3 install git+https://github.com/HBehrens/puncover --user
pip3 install --user puncover
.. warning::