From 33bdf0fff0011848bc4962905f48cb78d844b616 Mon Sep 17 00:00:00 2001 From: Daniel Fischer Date: Mon, 30 May 2011 09:47:44 +0200 Subject: [PATCH] Fix typos in profiling.xml --- docs/users_guide/profiling.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml index 204143d..40c757c 100644 --- a/docs/users_guide/profiling.xml +++ b/docs/users_guide/profiling.xml @@ -1177,7 +1177,7 @@ hp2ps [flags] [<file>[.hp]] Manipulating the hp file -(Notes kindly offered by Jan-Willhem Maessen.) +(Notes kindly offered by Jan-Willem Maessen.) The FOO.hp file produced when you ask for the @@ -1660,7 +1660,7 @@ Options: for at link-time). This links in the debug version of the RTS, which includes the code for aggregating and reporting the results of ticky-ticky - profilng. + profiling. -- 1.7.10.4