From ca2788ca9762d04e0937c3c88c91a9e30976dfde Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Mon, 6 Apr 1998 14:30:20 +0000
Subject: [PATCH] [project @ 1998-04-06 14:30:20 by simonm] add note about
 fractions of a second being allowed with the -i option.

---
 ghc/docs/users_guide/profiling.vsgml |    8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/ghc/docs/users_guide/profiling.vsgml b/ghc/docs/users_guide/profiling.vsgml
index 5cad4ec..6ac9dcb 100644
--- a/ghc/docs/users_guide/profiling.vsgml
+++ b/ghc/docs/users_guide/profiling.vsgml
@@ -171,10 +171,10 @@ report. Valid @<sort>@ options are:
 <tag>@C@:</tag> alphabetically by group, module and cost centre.
 </descrip>
 
-<tag>@-i<secs>@:</tag>
-<nidx>-i&lt;secs&gt; RTS option (profiling)</nidx>
-Set the profiling (sampling) interval to @<secs>@ seconds (the
-default is 1~second).
+<tag>@-i<secs>@:</tag> <nidx>-i&lt;secs&gt; RTS option
+(profiling)</nidx> Set the profiling (sampling) interval to @<secs>@
+seconds (the default is 1~second).  Fractions are allowed: for example
+@-i0.2@ will get 5 samples per second.
 
 <tag>@-h<break-down>@:</tag>
 <nidx>-h&lt;break-down&gt; RTS option (profiling)</nidx>
-- 
1.7.10.4