diff options
| -rw-r--r-- | Doc/lib/libprofile.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/lib/libprofile.tex b/Doc/lib/libprofile.tex index 0108b21..179b396 100644 --- a/Doc/lib/libprofile.tex +++ b/Doc/lib/libprofile.tex @@ -319,7 +319,7 @@ code for these modules. \begin{funcdesc}{run}{command\optional{, filename}} -This function takes a single argument that has can be passed to the +This function takes a single argument that can be passed to the \keyword{exec} statement, and an optional file name. In all cases this routine attempts to \keyword{exec} its first argument, and gather profiling statistics from the execution. If no file name is present, then this |