diff options
| -rw-r--r-- | docs/users_guide/separate_compilation.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/users_guide/separate_compilation.xml b/docs/users_guide/separate_compilation.xml index 076af6e81c..d0f83a3764 100644 --- a/docs/users_guide/separate_compilation.xml +++ b/docs/users_guide/separate_compilation.xml @@ -114,7 +114,9 @@ has been specified, then the object filename is <replaceable>dir</replaceable>/<replaceable>mod</replaceable>.<replaceable>osuf</replaceable>, where <replaceable>mod</replaceable> is the module name with - dots replaced by slashes.</para> + dots replaced by slashes. GHC will silently create the necessary directory + structure underneath <replaceable>dir</replaceable>, if it does not + already exist.</para> </listitem> </itemizedlist> |