From d63bd45eb342eed90573f48b2b66edd9b08377b8 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 31 Mar 2005 08:46:05 +0000
Subject: [PATCH] [project @ 2005-03-31 08:46:05 by simonmar] Note change in
 behaviour of ghc -M: all modules must now have source files

---
 ghc/docs/users_guide/separate_compilation.xml |    8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/ghc/docs/users_guide/separate_compilation.xml b/ghc/docs/users_guide/separate_compilation.xml
index cae8d35..97fe772 100644
--- a/ghc/docs/users_guide/separate_compilation.xml
+++ b/ghc/docs/users_guide/separate_compilation.xml
@@ -922,6 +922,14 @@ M.o : X.hi-boot
        <command>ghc</command> traces the dependencies, just like <command>ghc --make</command>
        (a new feature in GHC 6.4).</para>
 
+    <para>Note that <literal>ghc -M</literal> needs to find a <emphasis>source
+	file</emphasis> for each module in the dependency graph, so that it can
+      parse the import declarations and follow dependencies.  Any pre-compiled
+      modules without source files must therefore belong to a
+      package<footnote><para>This is a change in behaviour relative to 6.2 and
+	earlier.</para>
+      </footnote>.</para>
+
         <para>By default, <command>ghc -M</command> generates all the
         dependencies, and then concatenates them onto the end of
         <filename>makefile</filename> (or
-- 
1.7.10.4