mirror of
https://github.com/apache/nuttx.git
synced 2026-05-14 19:38:39 +08:00
ec41f30f9a
* Remove `tools/` from the section name. * Generate local TOC that lists described tools. * Update new parsetrace.py toctree location to fix indexing and display. Signed-off-by: Tomasz 'CeDeROM' CEDRO <tomek@cedro.info>