diff options
author | Joachim Breitner <mail@joachim-breitner.de> | 2017-10-24 10:36:49 -0400 |
---|---|---|
committer | Joachim Breitner <mail@joachim-breitner.de> | 2017-10-24 10:36:49 -0400 |
commit | 671b1ed9bf004ec7a426280799d7cd742836b1d1 (patch) | |
tree | 102ffff49e62996d7539ec01db6ff2e6c66d86b1 /docs/users_guide | |
parent | d1eaeadb08c1412c1572124efaf341bdc0976ccb (diff) | |
download | haskell-671b1ed9bf004ec7a426280799d7cd742836b1d1.tar.gz |
User’s guide: Properly link to RTS flag -V
Diffstat (limited to 'docs/users_guide')
-rw-r--r-- | docs/users_guide/runtime_control.rst | 2 |
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⟩ |