diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/profiling.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml index c30bd803b5..fb6049dc6e 100644 --- a/docs/users_guide/profiling.xml +++ b/docs/users_guide/profiling.xml @@ -1327,9 +1327,9 @@ to re-read its input file: profiling system, intended for all users everywhere.</para> <para>To be able to use ticky-ticky profiling, you will need to - have built appropriate libraries and things when you made the - system. See “Customising what libraries to build,” in - the installation guide.</para> + have built the ticky RTS. (This should be described in + the building guide, but amounts to building the RTS with way + "t" enabled.)</para> <para>To get your compiled program to spit out the ticky-ticky numbers, use a <option>-r</option> RTS |