From 3692c6f49530037744eee3c30fe0974e6de80135 Mon Sep 17 00:00:00 2001
From: Jose Pedro Magalhaes <jpm@cs.uu.nl>
Date: Fri, 27 Jan 2012 14:40:31 +0100
Subject: FIX #5819: add -XDataKinds to the language options section of the
 user's guide

---
 docs/users_guide/flags.xml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'docs')

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index a4041348b1..ae16811b0d 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -808,10 +808,15 @@
             <entry>dynamic</entry>
             <entry><option>-XNoConstraintKinds</option></entry>
           </row>
+          <row>
+            <entry><option>-XDataKinds</option></entry>
+            <entry>Enable <link linkend="kind-polymorphism-and-promotion">datatype promotion</link>.</entry>
+            <entry>dynamic</entry>
+            <entry><option>-XNoDataKinds</option></entry>
+          </row>
           <row>
             <entry><option>-XPolyKinds</option></entry>
-            <entry>Enable <link linkend="kind-polymorphism">kind polymorphism</link>.
-              Implies <option>-XKindSignatures</option>.</entry>
+            <entry>Enable <link linkend="kind-polymorphism-and-promotion">kind polymorphism</link>.</entry>
             <entry>dynamic</entry>
             <entry><option>-XNoPolyKinds</option></entry>
           </row>
-- 
cgit v1.2.1