From 4cec43abdddb04e936fc0375ceb8d1cf1e1cac11 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 30 Apr 2002 10:31:50 +0000
Subject: [PATCH] [project @ 2002-04-30 10:31:50 by simonmar] Mention that you
 can use :load without any arguments.

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

diff --git a/ghc/docs/users_guide/ghci.sgml b/ghc/docs/users_guide/ghci.sgml
index 6b1d09e..14c1126 100644
--- a/ghc/docs/users_guide/ghci.sgml
+++ b/ghc/docs/users_guide/ghci.sgml
@@ -871,7 +871,10 @@ Prelude> :def make (\_ -> return ":! ghc &ndash;&ndash;make Main")
 
 	  <para>All previously loaded modules, except package modules,
 	  are forgotten.  The new set of modules is known as the
-	  <firstterm>target set</firstterm>.</para>
+	  <firstterm>target set</firstterm>.  Note that
+	  <literal>:load</literal> can be used without any arguments
+	  to unload all the currently loaded modules and
+	  bindings.</para>
 
 	  <para>After a <literal>:load</literal> command, the current
 	  context is set to:</para>
-- 
1.7.10.4