diff options
Diffstat (limited to 'docs/users_guide/phases.xml')
| -rw-r--r-- | docs/users_guide/phases.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/phases.xml b/docs/users_guide/phases.xml index fdcb4eb27e..22416c722f 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 |