Add -pa and -V to the documentation of time profiling options.

diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml
index 7d33ee8..5fb53d0 100644 (file)
--- a/docs/users_guide/profiling.xml
+++ b/docs/users_guide/profiling.xml
@@ -458,9 +458,10 @@ x = nfib 25
     <variablelist>
       <varlistentry>
        <term>
     <variablelist>
       <varlistentry>
        <term>

-          <option>-p</option> or <option>-P</option>:
+          <option>-p</option> or <option>-P</option> or <option>-pa</option>:

           <indexterm><primary><option>-p</option></primary></indexterm>
           <indexterm><primary><option>-P</option></primary></indexterm>
           <indexterm><primary><option>-p</option></primary></indexterm>
           <indexterm><primary><option>-P</option></primary></indexterm>

+          <indexterm><primary><option>-pa</option></primary></indexterm>

           <indexterm><primary>time profile</primary></indexterm>
         </term>
        <listitem>
           <indexterm><primary>time profile</primary></indexterm>
         </term>
        <listitem>

@@ -472,9 +473,24 @@ x = nfib 25
          <para>The <option>-P</option> option produces a more
           detailed report containing the actual time and allocation
           data as well.  (Not used much.)</para>
          <para>The <option>-P</option> option produces a more
           detailed report containing the actual time and allocation
           data as well.  (Not used much.)</para>

+
+          <para>The <option>-pa</option> option produces the most detailed
+          report containing all cost centres in addition to the actual time
+          and allocation data.</para>

        </listitem>
       </varlistentry>
 
        </listitem>
       </varlistentry>
 

+     <varlistentry>
+       <term><option>-V<replaceable>secs</replaceable></option>
+       <indexterm><primary><option>-V</option></primary><secondary>RTS
+       option</secondary></indexterm></term>
+       <listitem>
+         <para>Sets the interval that the RTS clock ticks at, which is
+         also the sampling interval of the time and allocation profile.
+         The default is 0.02&nbsp;second.</para>
+       </listitem>
+     </varlistentry>
+

       <varlistentry>
        <term>
           <option>-xc</option>
       <varlistentry>
        <term>
           <option>-xc</option>

@@ -740,7 +756,8 @@ x = nfib 25
             0.1&nbsp;second).  Fractions are allowed: for example
             <option>-i0.2</option> will get 5 samples per second.
             This only affects heap profiling; time profiles are always
             0.1&nbsp;second).  Fractions are allowed: for example
             <option>-i0.2</option> will get 5 samples per second.
             This only affects heap profiling; time profiles are always

-            sampled on a 1/50 second frequency.</para>
+            sampled with the frequency of the RTS clock. See
+            <xref linkend="prof-time-options"/> for changing that.</para>

          </listitem>
        </varlistentry>
 
          </listitem>
        </varlistentry>