From: simonmar Date: Mon, 13 Aug 2001 16:34:04 +0000 (+0000) Subject: [project @ 2001-08-13 16:34:04 by simonmar] X-Git-Tag: Approximately_9120_patches~1267 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=b08578ecc31f6a48fcbbfc0d79b59ae0d1f7f567;p=ghc-hetmet.git [project @ 2001-08-13 16:34:04 by simonmar] Update to match the rest of the docs. --- diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml index a2037dc..320bae4 100644 --- a/ghc/docs/users_guide/flags.sgml +++ b/ghc/docs/users_guide/flags.sgml @@ -325,11 +325,12 @@ - Packages (<xref linkend="packages">) + Interactive-mode options (<xref linkend="ghci-dot-files">) + - + Flag Description Static/Dynamic @@ -338,26 +339,44 @@ - - Install a new package + + Disable reading of .ghci files static - - name - Delete package entry name + + Enable reading of .ghci files static - + + + + + + + Packages (<xref linkend="packages">) + + + + + Flag + Description + Static/Dynamic + Reverse + + + - - List installed packages + name + Use package name static - - name - Use package name + file + Load more packages from file static -