[project @ 2002-04-30 10:31:50 by simonmar]

Mention that you can use :load without any arguments.

diff --git a/ghc/docs/users_guide/ghci.sgml b/ghc/docs/users_guide/ghci.sgml
index 6b1d09e..14c1126 100644 (file)
--- a/ghc/docs/users_guide/ghci.sgml
+++ b/ghc/docs/users_guide/ghci.sgml
@@ -871,7 +871,10 @@ Prelude> :def make (\_ -> return ":! ghc ––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>