From b08578ecc31f6a48fcbbfc0d79b59ae0d1f7f567 Mon Sep 17 00:00:00 2001 From: simonmar Date: Mon, 13 Aug 2001 16:34:04 +0000 Subject: [PATCH] [project @ 2001-08-13 16:34:04 by simonmar] Update to match the rest of the docs. --- ghc/docs/users_guide/flags.sgml | 39 +++++++++++++++++++++++++++++---------- 1 file changed, 29 insertions(+), 10 deletions(-) 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 - -- 1.7.10.4