From 005090b5ba68a69d5bddd58a222a3d4853b4db53 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Mon, 22 Apr 2002 14:24:55 +0000
Subject: [PATCH] [project @ 2002-04-22 14:24:55 by simonmar] Doc --force.

---
 ghc/docs/users_guide/packages.sgml |   11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/ghc/docs/users_guide/packages.sgml b/ghc/docs/users_guide/packages.sgml
index a4fbd65..a014b3f 100644
--- a/ghc/docs/users_guide/packages.sgml
+++ b/ghc/docs/users_guide/packages.sgml
@@ -297,6 +297,17 @@
 	    </para>
 	  </listitem>
 	</varlistentry>
+	<varlistentry>
+	  <term><option>&ndash;&ndash;force</option></term>
+	  <indexterm><primary><option>&ndash;&ndash;force</option></primary></indexterm>
+	  <listitem>
+	    <para>Causes <literal>ghc-pkg</literal> to ignore missing
+	    directories and libraries when adding a package, and just
+	    go ahead and add it anyway.  This might be useful if your
+	    package installation system needs to add the package to
+	    GHC before building and installing the files.</para>
+	  </listitem>
+	</varlistentry>
       </variablelist>
 
       <para>When modifying the configuration file
-- 
1.7.10.4