diff options
| author | Ben Gamari <ben@well-typed.com> | 2020-12-15 13:31:51 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-01-07 00:10:52 -0500 |
| commit | e981023eb1cfb2a0f6052763469252feee3e2d51 (patch) | |
| tree | 0813ed8120e75efe244b7946fd94d088f8b75d08 | |
| parent | ced0d7525f6a6c33610e43d91c559691952dae6d (diff) | |
| download | haskell-e981023eb1cfb2a0f6052763469252feee3e2d51.tar.gz | |
users-guide: Remove space from -ol documentation
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 81357b9120..50d8e4ce2b 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -1248,9 +1248,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 |