X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=8e185701c38e98adb48d9d26c7c40867ab877f73;hb=536852b1348fde6ec0ba13859cc5ddf8480a1653;hp=48cf03ae7389a7507de8992c5b7cf99d89d0dbdf;hpb=043fc77bbc259cfa83e31fc456cdf6a098c2f757;p=ghc-hetmet.git

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 48cf03a..8e18570 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -733,7 +733,7 @@
 	  </row>
 	  <row>
 	    <entry><option>-Wall</option></entry>
-	    <entry>enable all warnings</entry>
+	    <entry>enable almost all warnings (details in <xref linkend="options-sanity"/>)</entry>
 	    <entry>dynamic</entry>
 	    <entry><option>-w</option></entry>
 	  </row>
@@ -766,6 +766,13 @@
 	    <entry><option>-fno-warn-hi-shadowing</option></entry>
 	  </row>
 
+          <row>
+            <entry><option>-fwarn-implicit-prelude</option></entry>
+            <entry>warn when the Prelude is implicitly imported</entry>
+            <entry>dynamic</entry>
+            <entry><option>-fno-warn-implicit-prelude</option></entry>
+          </row>
+
 	  <row>
 	    <entry><option>-fwarn-incomplete-patterns</option></entry>
 	    <entry>warn when a pattern match could fail</entry>