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::