[project @ 2002-10-18 09:36:21 by simonmar]

Add a note about the profiling versions of the interface files in a package.

diff --git a/ghc/docs/users_guide/packages.sgml b/ghc/docs/users_guide/packages.sgml
index 769a7cd..bf56e96 100644 (file)
--- a/ghc/docs/users_guide/packages.sgml
+++ b/ghc/docs/users_guide/packages.sgml
@@ -372,6 +372,13 @@
          <listitem>
            <para>A list of directories containing interface files
            (<literal>.hi</literal> files) for this package.</para>
+
+           <para>If the package contains profiling libraries, then
+           the interface files for those library modules should have
+           the suffix <literal>.p_hi</literal>.  So the package can
+           contain both normal and profiling versions of the same
+           library without conflict (see also
+           <literal>library_dirs</literal> below).</para>
          </listitem>
        </varlistentry>