Fix a flag name in the docs

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 0b22a39..005b139 100644 (file)
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1834,7 +1834,7 @@
              <entry>-</entry>
            </row>
            <row>
-             <entry><option>-no-shared-implib</option></entry>
+             <entry><option>-fno-shared-implib</option></entry>
              <entry>Don't generate an import library for a DLL (Windows only)</entry>
              <entry>dynamic</entry>
              <entry>-</entry>