[[project @ 2001-08-13 16:34:04 by simonmar]
simonmar**20010813163404
Update to match the rest of the docs.
] {
hunk ./ghc/docs/users_guide/flags.sgml 328
- Packages (<xref linkend="packages">)
+ Interactive-mode options (<xref linkend="ghci-dot-files">)
+
hunk ./ghc/docs/users_guide/flags.sgml 333
-
+
hunk ./ghc/docs/users_guide/flags.sgml 342
-
- Install a new package
+
+ Disable reading of .ghci files
hunk ./ghc/docs/users_guide/flags.sgml 348
- name
- Delete package entry name
+
+ Enable reading of .ghci files
hunk ./ghc/docs/users_guide/flags.sgml 353
+
+
+
+
+
+
+ Packages (<xref linkend="packages">)
+
+
+
+
+ Flag
+ Description
+ Static/Dynamic
+ Reverse
+
+
+
hunk ./ghc/docs/users_guide/flags.sgml 372
-
- List installed packages
+ name
+ Use package name
hunk ./ghc/docs/users_guide/flags.sgml 378
- name
- Use package name
+ file
+ Load more packages from file
}