From 96ca465d7516e47f4ca46f3e91765c3e8411c8f3 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <ian@well-typed.com>
Date: Sat, 22 Jun 2013 13:24:04 +0100
Subject: [PATCH] The help flag is --help, not -help; fixes #8005

---
 docs/users_guide/flags.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 43960ec620f6..6b8b17c3f6b0 100644
--- 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>