[project @ 2005-10-28 15:51:15 by simonmar]

[ghc-hetmet.git] / ghc / docs / users_guide / flags.xml

diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml
index bbd57a0..a6c4d12 100644 (file)
--- a/ghc/docs/users_guide/flags.xml
+++ b/ghc/docs/users_guide/flags.xml
@@ -242,6 +242,12 @@
              <entry>dynamic</entry>
              <entry>-</entry>
            </row>
+           <row>
+             <entry><option>-stubdir</option> <replaceable>dir</replaceable></entry>
+             <entry>redirect FFi stub files</entry>
+             <entry>dynamic</entry>
+             <entry>-</entry>
+           </row>
          </tbody>
        </tgroup>
       </informaltable>