Document -dfaststring-stats

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 6bda650..b445627 100644 (file)
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -308,6 +308,17 @@
       
       <varlistentry>
        <term>
+          <option>-dfaststring-stats</option>
+          <indexterm><primary><option>-dfaststring-stats</option></primary></indexterm>
+        </term>
+       <listitem>
+         <para>Show statistics for the usage of fast strings by the
+          compiler</para>
+       </listitem>
+      </varlistentry>
+
+      <varlistentry>
+       <term>
           <option>-dppr-debug</option>
           <indexterm><primary><option>-dppr-debug</option></primary></indexterm>
         </term>

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 1fd054c..6a18ca5 100644 (file)
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1753,6 +1753,12 @@
              <entry>-</entry>
            </row>
            <row>
+             <entry><option>-dfaststring-stats</option></entry>
+             <entry>Show statistics for fast string usage when finished</entry>
+             <entry>dynamic</entry>
+             <entry>-</entry>
+           </row>
+           <row>
              <entry><option>-unreg</option></entry>
              <entry>Enable unregisterised compilation</entry>
              <entry>static</entry>