Skip to content
Commit 52426c28 authored by Diego Elio Pettenò's avatar Diego Elio Pettenò Committed by Carles Cufí
Browse files

doc: move puncover down on the page.




The puncover tool does not appear to be maintained anymore and it is
affected by multiple issues. Providing it as the first in the list
is a disservice to users as they might get frustrated and not notice
the `ram_report` tool that actually works.

Move the information at the bottom of the section, and add a warning
about the fact that this is a third party tool that might or might
not be working.

(Also make the link consistent to avoid "here" being a hyperlink, it
adds nothing to the reader either in RST or HTML.)

Signed-off-by: default avatarDiego Elio Pettenò <flameeyes@meta.com>
parent 716e3a17
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment