projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
remove docs for unimplemented options
[ghc-hetmet.git]
/
docs
/
users_guide
/
separate_compilation.xml
diff --git
a/docs/users_guide/separate_compilation.xml
b/docs/users_guide/separate_compilation.xml
index
c890f60
..
934deb1
100644
(file)
--- a/
docs/users_guide/separate_compilation.xml
+++ b/
docs/users_guide/separate_compilation.xml
@@
-1100,6
+1100,7
@@
ghc -M -optdep-f -optdep.depend ...
</listitem>
</varlistentry>
</listitem>
</varlistentry>
+<!-- Not currently implemented:
<varlistentry>
<term><option>––exclude-directory=<dirs></option></term>
<listitem>
<varlistentry>
<term><option>––exclude-directory=<dirs></option></term>
<listitem>
@@
-1119,6
+1120,7
@@
ghc -M -optdep-f -optdep.depend ...
the <option>––exclude-directory</option> option.</para>
</listitem>
</varlistentry>
the <option>––exclude-directory</option> option.</para>
</listitem>
</varlistentry>
+-->
<varlistentry>
<term><option>––include-pkg-deps</option></term>
<varlistentry>
<term><option>––include-pkg-deps</option></term>