From 8d276febb7e186affdcd9fa39f5a185a2e15847e Mon Sep 17 00:00:00 2001 From: Kirsten Chevalier Date: Wed, 7 Feb 2007 08:45:27 +0000 Subject: [PATCH] Update to manual section for ticky-ticky I added a slightly more helpful remark in the profiling section of the manual about how to use ticky-ticky. --- docs/users_guide/profiling.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 1.7.10.4