[commit: ghc] master: FIX #5819: add -XDataKinds to the language options section of the user's guide (3692c6f)

[José Pedro Magalhães]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/3692c6f49530037744eee3c30fe0974e6de80135

>---------------------------------------------------------------

commit 3692c6f49530037744eee3c30fe0974e6de80135
Author: Jose Pedro Magalhaes <jpm at cs.uu.nl>
Date:   Fri Jan 27 14:40:31 2012 +0100

    FIX #5819: add -XDataKinds to the language options section of the user's guide

>---------------------------------------------------------------

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

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index a404134..ae16811 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -809,9 +809,14 @@
             <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>