diff options
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. |