diff options
| author | Ian Lynagh <igloo@earth.li> | 2012-06-20 15:10:12 +0100 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2012-06-20 15:10:12 +0100 |
| commit | 90f0a9c244a0f50eb14c3fc65c2a221f71c25b0a (patch) | |
| tree | 839f1c1294f375689731190a1a10bf3f0d26bf01 /docs | |
| parent | 7ecb40e839f823f563d67b8b86270ac6d33e57d0 (diff) | |
| download | haskell-90f0a9c244a0f50eb14c3fc65c2a221f71c25b0a.tar.gz | |
Remove some cruft from StaticFlagParser
Also, -read-dot-ghci is now gone. We now have -no-ignore-dot-ghci
instead.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/flags.xml | 6 | ||||
| -rw-r--r-- | docs/users_guide/ghci.xml | 11 |
2 files changed, 0 insertions, 17 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 650bf8f41f..3b4f36db6c 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -499,12 +499,6 @@ <entry>-</entry> </row> <row> - <entry><option>-read-dot-ghci</option></entry> - <entry>Enable reading of <filename>.ghci</filename> files</entry> - <entry>static</entry> - <entry>-</entry> - </row> - <row> <entry><option>-fbreak-on-exception</option></entry> <entry><link linkend="ghci-debugger-exceptions">Break on any exception thrown</link></entry> <entry>dynamic</entry> diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml index 87ba79d7b1..3d629db9a6 100644 --- a/docs/users_guide/ghci.xml +++ b/docs/users_guide/ghci.xml @@ -3125,17 +3125,6 @@ warning settings: </varlistentry> <varlistentry> <term> - <option>-read-dot-ghci</option> - <indexterm><primary><option>-read-dot-ghci</option></primary></indexterm> - </term> - <listitem> - <para>Read <filename>./.ghci</filename> and the other - startup files (see above). This is normally the - default, but the <option>-read-dot-ghci</option> option may - be used to override a previous - <option>-ignore-dot-ghci</option> option.</para> - </listitem> - <term> <option>-ghci-script</option> <indexterm><primary><option>-ghci-script</option></primary></indexterm> </term> |