summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDenisFrezzato <denis.frezzato@tutanota.com>2020-06-02 09:31:24 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-09-15 15:19:08 -0400
commit8610bcbeb11b898f85f228b755fa8421b5ae3e34 (patch)
tree8452bf73b76735e6ccf9e1199880f28abe8aeee5
parent07762eb5cfe735e131a7f017939a6b0ccfb28389 (diff)
downloadhaskell-8610bcbeb11b898f85f228b755fa8421b5ae3e34.tar.gz
Fix rtsopts documentation
-rw-r--r--docs/users_guide/phases.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/phases.rst b/docs/users_guide/phases.rst
index c1ddbe55bc..b21ebf9529 100644
--- a/docs/users_guide/phases.rst
+++ b/docs/users_guide/phases.rst
@@ -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