X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=cd6b5b38f97972322e8680302025df1924cff3ce;hb=cad6d4688bdc309b3e9953bf091535a8eeaa2515;hp=75d240c5281485f690f79e59b0daaf71b8670e73;hpb=e686093450ac772cb0e1fc0ca121975a2a887ab1;p=ghc-hetmet.git

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 75d240c..cd6b5b3 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1556,7 +1556,7 @@ phase <replaceable>n</replaceable></entry>
 	    </row>
 	    <row>
 	      <entry><option>-ticky</option></entry>
-	      <entry>Turn on ticky-ticky profiling</entry>
+	      <entry><link linkend="ticky-ticky">Turn on ticky-ticky profiling</link></entry>
 	      <entry>static</entry>
 	      <entry>-</entry>
 	    </row>