diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2008-10-07 15:10:07 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2008-10-07 15:10:07 +0000 |
| commit | c74dd1f133703da84fdd8a513a3598fc74b67f0b (patch) | |
| tree | e16e94f2b4355f55d039b20ee36c6bf3c6367ed4 /docs | |
| parent | d0f7e402963b6f6cbe78c2a0421da2dacdca6921 (diff) | |
| download | haskell-c74dd1f133703da84fdd8a513a3598fc74b67f0b.tar.gz | |
add a section id for +RTS -hT
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/runtime_control.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml index 0582423564..8a7bafd922 100644 --- a/docs/users_guide/runtime_control.xml +++ b/docs/users_guide/runtime_control.xml @@ -689,7 +689,7 @@ <xref linkend="parallel-options"/>.</para> </sect2> - <sect2> + <sect2 id="rts-profiling"> <title>RTS options for profiling</title> <para>Most profiling runtime options are only available when you |