X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=39b69915231a650227ee64a6cc57a6b11dec154b;hb=dade8ab28360c8f5a9c82f9ac3429c808020e07f;hp=345d694c8f5e030b884c97e77d9156373b14ba35;hpb=29897cfe9c9cf1363b89f4eb177c85329a8ca1e5;p=ghc-hetmet.git

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 345d694..39b6991 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -789,7 +789,7 @@
 	    </row>
 	    <row>
 	      <entry><option>-XKindSignatures</option></entry>
-	      <entry>Enable kind signatures.</entry>
+	      <entry>Enable <link linkend="kinding">kind signatures</link>.</entry>
 	      <entry>dynamic</entry>
 	      <entry><option>-XNoKindSignatures</option></entry>
 	    </row>
@@ -1433,7 +1433,7 @@
 	    </row>
 	    <row>
 	      <entry><option>-hpcdir dir</option></entry>
-	      <entry>Directory to deposit .mix files during compilation</entry>
+	      <entry>Directory to deposit .mix files during compilation (default is .hpc)</entry>
 	      <entry>dynamic</entry>
 	      <entry><option>-</option></entry>
 	    </row>
@@ -2222,12 +2222,6 @@
 	      <entry>dynamic</entry>
 	      <entry>-</entry>
 	    </row>
-	    <row>
-	      <entry><option>-unreg</option></entry>
-	      <entry>Enable unregisterised compilation</entry>
-	      <entry>static</entry>
-	      <entry>-</entry>
-	    </row>
 	  </tbody>
 	</tgroup>
       </informaltable>