man: document --trace-memory in nitc.md

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/share/man/nitc.md b/share/man/nitc.md
index c537b5b..77c8aa8 100644 (file)
--- a/share/man/nitc.md
+++ b/share/man/nitc.md
@@ -425,6 +425,12 @@ and stack trace will be disabled.
 Note that the `--no-stacktrace` option (or this absence) can be toggled manually in the generated Makefile (search `NO_STACKTRACE` in the Makefile).
 Moreover, the environment variable `NIT_NO_STACK` (see bellow) can also be used at runtime to disable stack traces.
 
+### `--trace-memory`
+Enable dynamic measure of memory usage.
+
+Compiled programs will generate a large `memory.log` file that logs all memory allocations.
+This logs file can then be analyzed with the tool `memplot` from contrib.
+
 ### `--hardening`
 Generate contracts in the C code against bugs in the compiler.