Commit 8610bcbe authored by Denis Frezzato's avatar Denis Frezzato Committed by Marge Bot

Fix rtsopts documentation

parent 07762eb5
Pipeline #24713 failed with stages
in 15 minutes and 16 seconds
......@@ -1028,7 +1028,7 @@ for example).
This option affects the processing of RTS control options given
either on the command line or via the :envvar:`GHCRTS` environment
variable. There are three possibilities:
variable. There are five possibilities:
``-rtsopts=none``
Disable all processing of RTS options. If ``+RTS`` appears
......
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