X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=docs%2Fusers_guide%2Fprofiling.xml;h=fb6049dc6e3c764f40ce1d7019d763839abc35ca;hp=c30bd803b57de16b5c54c7c98717ddea6937f92f;hb=8d276febb7e186affdcd9fa39f5a185a2e15847e;hpb=5ddee764beb312933256096d03df7c3ec47ac452
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