diff options
Diffstat (limited to 'doc/manual/usermanual.xml')
| -rw-r--r-- | doc/manual/usermanual.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual/usermanual.xml b/doc/manual/usermanual.xml index a79716a0a..6fb197966 100644 --- a/doc/manual/usermanual.xml +++ b/doc/manual/usermanual.xml @@ -415,6 +415,8 @@ options: the graph more appealing -l DEBUG_DOMAINS, --log-domains=DEBUG_DOMAINS Show debug logging for the specified logging domains + -P, --profile profile the command and print a report + </screen> </para> |