diff options
Diffstat (limited to 'erts/doc/src/ref_man.xml')
-rw-r--r-- | erts/doc/src/ref_man.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/erts/doc/src/ref_man.xml b/erts/doc/src/ref_man.xml index aa245ec08a..e45402a397 100644 --- a/erts/doc/src/ref_man.xml +++ b/erts/doc/src/ref_man.xml @@ -56,5 +56,6 @@ <xi:include href="driver_entry.xml"/> <xi:include href="erts_alloc.xml"/> <xi:include href="erl_nif.xml"/> + <xi:include href="erl_tracer.xml"/> </application> |