diff options
| author | Paolo Capriotti <p.capriotti@gmail.com> | 2012-04-11 14:19:25 +0100 |
|---|---|---|
| committer | Paolo Capriotti <p.capriotti@gmail.com> | 2012-04-11 18:03:02 +0100 |
| commit | ab52df86f5f76da6e19ee6562792ea43972a6f24 (patch) | |
| tree | a07e6bfe1f2a333d73f675e572d3a85698e3331a /docs | |
| parent | f0899173ec6f3bb16dd66bb6d7720d32d8a3bd06 (diff) | |
| download | haskell-ab52df86f5f76da6e19ee6562792ea43972a6f24.tar.gz | |
Revert "trac #5265 (support for additional .ghci files)"
This reverts commit 991f141989940c897cb2fc3dba7b5b49342d402a.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/flags.xml | 6 | ||||
| -rw-r--r-- | docs/users_guide/ghci.xml | 4 |
2 files changed, 0 insertions, 10 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 169dd9d440..53bd4bfb17 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -493,12 +493,6 @@ <entry>-</entry> </row> <row> - <entry><option>-ghci-script</option></entry> - <entry>Load the given additional <filename>.ghci</filename> file</entry> - <entry>static</entry> - <entry>-</entry> - </row> - <row> <entry><option>-read-dot-ghci</option></entry> <entry>Enable reading of <filename>.ghci</filename> files</entry> <entry>static</entry> diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml index b3fa469a99..3e0d341f83 100644 --- a/docs/users_guide/ghci.xml +++ b/docs/users_guide/ghci.xml @@ -3134,10 +3134,6 @@ warning settings: </varlistentry> </variablelist> - <para>Additional <filename>.ghci</filename> files can be added - through the <option>-ghci-script</option> option. These are - loaded after the normal <filename>.ghci</filename> files.</para> - </sect1> <sect1 id="ghci-obj"> |