X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=docs%2Fusers_guide%2Fprofiling.xml;h=fb6049dc6e3c764f40ce1d7019d763839abc35ca;hb=3c22606bf3114747deeae0a8a1d5832ee834d9d1;hp=c30bd803b57de16b5c54c7c98717ddea6937f92f;hpb=43b746ac3988c75336405efc505765127096bb06;p=ghc-hetmet.git
diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml
index c30bd80..fb6049d 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.
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.
+ have built the ticky RTS. (This should be described in
+ the building guide, but amounts to building the RTS with way
+ "t" enabled.)
To get your compiled program to spit out the ticky-ticky
numbers, use a RTS