Tom Henderson d5f9654227 doc: Number the sections in HTML output

2023-07-09 04:12:35 +00:00

..

figures

doc: update build profile docs and add CMake profiling subsection

2022-03-13 21:23:47 +00:00

source

doc: Number the sections in HTML output

2023-07-09 04:12:35 +00:00

Makefile

doc: Fix various documentation formatting warnings

2023-07-09 00:49:13 +00:00