diff --git a/Doc/lib/libprofile.tex b/Doc/lib/libprofile.tex index 4a710824f2e..9c5ce089182 100644 --- a/Doc/lib/libprofile.tex +++ b/Doc/lib/libprofile.tex @@ -463,7 +463,7 @@ in the \function{profile.run()} definition. The order of the printing is based on the last \method{sort_stats()} operation done on the object (subject to caveats in \method{add()} and -\method{strip_dirs()}. +\method{strip_dirs()}). The arguments provided (if any) can be used to limit the list down to the significant entries. Initially, the list is taken to be the