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

96ca465d · ian@well-typed.com · 74a800bc · 96ca465d
Commit 96ca465d authored Jun 22, 2013 by ian@well-typed.com
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

docs/users_guide/flags.xml docs/users_guide/flags.xml +1 -1

No files found.
--- 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>