The help flag is --help, not -help; fixes #8005

ghc · Jun 22, 2013 · 96ca465 · 96ca465
1 parent 74a800b
commit 96ca465
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
@@ -30,7 +30,7 @@
             <entry>-</entry>
           </row>
           <row>
-            <entry><option>-help</option></entry>
+            <entry><option>--help</option></entry>
             <entry>help</entry>
             <entry>mode</entry>
             <entry>-</entry>