Update docs not to talk about deprecated -optdep-* flags; fixes trac #2773
authorIan Lynagh <igloo@earth.li>
Fri, 28 Nov 2008 19:36:33 +0000 (19:36 +0000)
committerIan Lynagh <igloo@earth.li>
Fri, 28 Nov 2008 19:36:33 +0000 (19:36 +0000)
commit4ca6790feb128b03e0783de7f44399fef5c5ad22
treead051ab208d2026fc67e0b3c8a856c51143e6194
parentdab87cc9e1269aa7e2e0589e156e024c16b85b1f
Update docs not to talk about deprecated -optdep-* flags; fixes trac #2773
docs/users_guide/flags.xml
docs/users_guide/phases.xml
docs/users_guide/separate_compilation.xml