From: Simon Marlow Date: Mon, 26 Mar 2007 14:27:28 +0000 (+0000) Subject: remove docs for unimplemented options X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=70d12d0e3df4e262aa48bd89987f1f263dedbc2c remove docs for unimplemented options -optdep--include-module and --optdep--exclude-directory were features of the old mkdependHS script but weren't implemented when mkdependHS was merged into GHC. --- diff --git a/docs/users_guide/separate_compilation.xml b/docs/users_guide/separate_compilation.xml index c890f60..934deb1 100644 --- a/docs/users_guide/separate_compilation.xml +++ b/docs/users_guide/separate_compilation.xml @@ -1100,6 +1100,7 @@ ghc -M -optdep-f -optdep.depend ... +