From 966ef0fefd9db520cbce50ef487bffb692ed6e51 Mon Sep 17 00:00:00 2001 From: Henrik Brix Andersen Date: Tue, 17 Jun 2025 10:28:31 +0200 Subject: [PATCH] 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 --- doc/develop/optimizations/tools.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/develop/optimizations/tools.rst b/doc/develop/optimizations/tools.rst index 96bfac58c28..5c330a9b6fe 100644 --- a/doc/develop/optimizations/tools.rst +++ b/doc/develop/optimizations/tools.rst @@ -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::