From f535676469e049dfb44cb198c32de7de797eafa9 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Tue, 10 Oct 2006 15:58:14 +0000
Subject: [PATCH] Correct id to linkend

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

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index cc5d6d3..149ef63 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1904,7 +1904,7 @@
 	    </row>
 	    <row>
 	      <entry><option>-fno-print-bind-result</option></entry>
-	      <entry><link id="ghci-stmts">Turn off printing of binding results in GHCi</link></entry>
+	      <entry><link linkend="ghci-stmts">Turn off printing of binding results in GHCi</link></entry>
 	      <entry>dynamic</entry>
 	      <entry>-</entry>
 	    </row>
-- 
1.7.10.4