[commit: ghc] master: Improve documentation of -ticky a little (7cbe34f)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/7cbe34f940c34bd25d58fbb115d449b1113bacc7/ghc

>---------------------------------------------------------------

commit 7cbe34f940c34bd25d58fbb115d449b1113bacc7
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Nov 11 11:36:57 2014 +0000

    Improve documentation of -ticky a little


>---------------------------------------------------------------

7cbe34f940c34bd25d58fbb115d449b1113bacc7
 docs/users_guide/flags.xml           | 7 +++++++
 docs/users_guide/profiling.xml       | 2 +-
 docs/users_guide/runtime_control.xml | 3 +--
 3 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index ac3cc04..2c0e548 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -2522,6 +2522,13 @@
             <entry>-</entry>
           </row>
           <row>
+            <entry><option>-ticky</option></entry>
+            <entry>For linking, this simply implies <option>-debug</option>;
+            see <xref linkend="ticky-ticky"/>.</entry>
+            <entry>dynamic</entry>
+            <entry>-</entry>
+          </row>
+          <row>
             <entry><option>-eventlog</option></entry>
             <entry>Enable runtime event tracing</entry>
             <entry>dynamic</entry>
diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml
index 5bb396d..4971a7d 100644
--- a/docs/users_guide/profiling.xml
+++ b/docs/users_guide/profiling.xml
@@ -1771,7 +1771,7 @@ Options:
 
     <para>Because ticky-ticky profiling requires a certain familiarity
     with GHC internals, we have moved the documentation to the
-    wiki. Take a look at its <ulink
+    GHC developers wiki. Take a look at its <ulink
     url="http://ghc.haskell.org/trac/ghc/wiki/Commentary/Profiling">overview
     of the profiling options</ulink>, which includeds a link to the
     ticky-ticky profiling page.</para>
diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml
index d26dd96..cdd9fd4 100644
--- a/docs/users_guide/runtime_control.xml
+++ b/docs/users_guide/runtime_control.xml
@@ -1442,8 +1442,7 @@ $ ./a.out +RTS --info
           <literal>-threaded</literal> option) and <literal>rts_p</literal>
           (profiling runtime, i.e. linked using the <literal>-prof</literal>
           option). Other variants include <literal>debug</literal>
-          (linked using <literal>-debug</literal>),
-          <literal>t</literal> (ticky-ticky profiling) and
+          (linked using <literal>-debug</literal>), and
           <literal>dyn</literal> (the RTS is
           linked in dynamically, i.e. a shared library, rather than statically
           linked into the executable itself). These can be combined,