Commit 441268f8 authored by Georg Brandl's avatar Georg Brandl

Bug #1656078: typo in in profile docs.

parent 7c4615b2
...@@ -319,7 +319,7 @@ code for these modules. ...@@ -319,7 +319,7 @@ code for these modules.
\begin{funcdesc}{run}{command\optional{, filename}} \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 \keyword{exec} statement, and an optional file name. In all cases this
routine attempts to \keyword{exec} its first argument, and gather profiling routine attempts to \keyword{exec} its first argument, and gather profiling
statistics from the execution. If no file name is present, then this statistics from the execution. If no file name is present, then this
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment