From 4eccf57cce2a51e5abf4a3e027db9a11f878b167 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Thu, 17 Sep 2009 10:05:44 +0000
Subject: [PATCH] fix xref

---
 docs/users_guide/phases.xml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/users_guide/phases.xml b/docs/users_guide/phases.xml
index fdcb4eb..22416c7 100644
--- a/docs/users_guide/phases.xml
+++ b/docs/users_guide/phases.xml
@@ -975,7 +975,7 @@ $ cat foo.hspp</screen>
             binary file
             <literal><replaceable>program</replaceable>.eventlog</literal>,
             which can then be interpreted later by various tools.  See
-            <xref linkend="eventlog" /> for more information.
+            <xref linkend="rts-eventlog" /> for more information.
           </para>
           <para>
             <option>-eventlog</option> can be used
-- 
1.7.10.4