diff options
| author | Jan Hrček <honza.hrk@gmail.com> | 2020-06-24 15:55:39 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-28 09:20:22 -0400 |
| commit | 68530b1cd45629e5a353a37df80195ac54d26ade (patch) | |
| tree | a6aa929d32d9c1caff4ca57c5ffde238d7c9717a /docs/users_guide/separate_compilation.rst | |
| parent | 42f797b0ad034a92389e7081aa50ef4ab3434d01 (diff) | |
| download | haskell-68530b1cd45629e5a353a37df80195ac54d26ade.tar.gz | |
Fix duplicated words and typos in comments and user guide
Diffstat (limited to 'docs/users_guide/separate_compilation.rst')
| -rw-r--r-- | docs/users_guide/separate_compilation.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/separate_compilation.rst b/docs/users_guide/separate_compilation.rst index c43ec85768..b95a4d24f6 100644 --- a/docs/users_guide/separate_compilation.rst +++ b/docs/users_guide/separate_compilation.rst @@ -497,7 +497,7 @@ Redirecting temporary files If you have trouble because of running out of space in ``/tmp`` (or wherever your installation thinks temporary files should go), you - may use the :ghc-flag:`-tmpdir ⟨dir⟩` option option to specify an + may use the :ghc-flag:`-tmpdir ⟨dir⟩` option to specify an alternate directory. For example, ``-tmpdir .`` says to put temporary files in the current working directory. |