From 3ccf49310426b965c3ac191878b852bc99ff6b46 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Wed, 29 Dec 1999 12:38:25 +0000
Subject: [PATCH] [project @ 1999-12-29 12:38:25 by simonpj] Clarification on
 output files

---
 ghc/docs/users_guide/using.vsgml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ghc/docs/users_guide/using.vsgml b/ghc/docs/users_guide/using.vsgml
index 450771203487..88d404ad2822 100644
--- a/ghc/docs/users_guide/using.vsgml
+++ b/ghc/docs/users_guide/using.vsgml
@@ -463,7 +463,10 @@ file</em> @A.hi@.  The interface file is not intended for human
 consumption, as you'll see if you take a look at one.  It's merely
 there to help the compiler compile other modules in the same program.
 
-NOTE: Having the name of the interface file follow the module name and
+NOTE: <em>The name of the interface file is derived from the name
+of the module, not from the name of the file containing the module</em>.
+This means that GHC knows what to look for when it sees <tt>import A</tt>
+in another module.  However, having the name of the interface file follow the module name and
 not the file name, means that working with tools such as @make(1)@
 become harder. @make@ implicitly assumes that any output files
 produced by processing a translation unit will have file names that
-- 
GitLab