diff options
| author | Ben Gamari <ben@well-typed.com> | 2020-12-15 13:31:51 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2021-01-03 23:31:16 -0500 |
| commit | 6fb4defe61da6af4078b2a7ad7a7ca899f637d08 (patch) | |
| tree | 05c7655a349fa36860f3f1969d5bbf08e51165d6 | |
| parent | 26a928b8fdb1b4ccb75e8edb620b8cf12cb38621 (diff) | |
| download | haskell-wip/doc-fix-92478.tar.gz | |
users-guide: Remove space from -ol documentationwip/doc-fix-92478
This flag requires that there be no space
between the filename and the argument.
| -rw-r--r-- | docs/users_guide/runtime_control.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/runtime_control.rst b/docs/users_guide/runtime_control.rst index 49dc6a5441..43b0aa2d84 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -1237,9 +1237,9 @@ When the program is linked with the :ghc-flag:`-eventlog` option nanoseconds since the start of executation of the running program. This is the elapsed time, not the CPU time. -.. rts-flag:: -ol ⟨filename⟩ +.. rts-flag:: -ol⟨filename⟩ - :default: :file:`<program>.eventlog` + :default: :file:`⟨program⟩.eventlog` :since: 8.8 Sets the destination for the eventlog produced with the |