[project @ 2001-12-18 12:55:34 by simonmar]

merge rev. 1.11.2.2 from ghc-5-02-branch (remove -O2-for-C).

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index 27f13cc..e62592c 100644 (file)
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -640,12 +640,6 @@
              <entry>static</entry>
              <entry><option>-O0</option></entry>
            </row>
-           <row>
-             <entry><option>-O2-for-C</option></entry>
-             <entry>Run <command>gcc</command> with <option>-O2</option></entry>
-             <entry>static</entry>
-             <entry>-</entry>
-           </row>
          </tbody>
        </tgroup>
       </informaltable>