summaryrefslogtreecommitdiff
path: root/docs/users_guide/runtime_control.rst
diff options
context:
space:
mode:
authorJoachim Breitner <mail@joachim-breitner.de>2017-10-24 10:36:49 -0400
committerJoachim Breitner <mail@joachim-breitner.de>2017-10-24 10:36:49 -0400
commit671b1ed9bf004ec7a426280799d7cd742836b1d1 (patch)
tree102ffff49e62996d7539ec01db6ff2e6c66d86b1 /docs/users_guide/runtime_control.rst
parentd1eaeadb08c1412c1572124efaf341bdc0976ccb (diff)
downloadhaskell-671b1ed9bf004ec7a426280799d7cd742836b1d1.tar.gz
User’s guide: Properly link to RTS flag -V
Diffstat (limited to 'docs/users_guide/runtime_control.rst')
-rw-r--r--docs/users_guide/runtime_control.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/runtime_control.rst b/docs/users_guide/runtime_control.rst
index 9b43277da4..f944ae95fe 100644
--- a/docs/users_guide/runtime_control.rst
+++ b/docs/users_guide/runtime_control.rst
@@ -218,7 +218,7 @@ Miscellaneous RTS options
interval timer signal is still enabled. The timer signal is either
SIGVTALRM or SIGALRM, depending on the RTS configuration and OS
capabilities. To disable the timer signal, use the ``-V0`` RTS
- option (see above).
+ option (see :rts-flag:`-V ⟨secs⟩`).
.. rts-flag:: --install-seh-handlers=⟨yes|no⟩