X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fprofiling.xml;h=fb6049dc6e3c764f40ce1d7019d763839abc35ca;hb=536852b1348fde6ec0ba13859cc5ddf8480a1653;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.</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 &ldquo;Customising what libraries to build,&rdquo; 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