[project @ 1998-04-06 14:30:20 by simonm]

add note about fractions of a second being allowed with the -i option.

diff --git a/ghc/docs/users_guide/profiling.vsgml b/ghc/docs/users_guide/profiling.vsgml
index 5cad4ec..6ac9dcb 100644 (file)
--- 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>