From 70d12d0e3df4e262aa48bd89987f1f263dedbc2c Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Mon, 26 Mar 2007 14:27:28 +0000 Subject: [PATCH] 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. --- docs/users_guide/separate_compilation.xml | 2 ++ 1 file changed, 2 insertions(+) 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 ... + -- 1.7.10.4