Documentation fixes

[ust.git] / doc / manual / manual.texinfo

diff --git a/doc/manual/manual.texinfo b/doc/manual/manual.texinfo
index b0b588df40c4af96bca668c50618415b01443f65..941e76b25b662fbb031b64d38c1beaec401d87b8 100644 (file)
--- a/doc/manual/manual.texinfo
+++ b/doc/manual/manual.texinfo
@@ -377,6 +377,9 @@ $ ustctl --start-trace 1234
 
 # Stop tracing
 $ ustctl --stop-trace 1234
+
+# Destroy the trace
+$ ustctl --destroy-trace 1234
 @end verbatim
 @end example