summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSimon Marlow <simonmar@microsoft.com>2007-09-04 10:06:23 +0000
committerSimon Marlow <simonmar@microsoft.com>2007-09-04 10:06:23 +0000
commitfa92f5d1bd8ac27780a3e7b1a2d536b7eb76235b (patch)
treed079dc8d6761fe0c74ed551cbe86dfdb19d1a8ea
parentbcf84370d520d4cfe3fe55173464c5de110e5b83 (diff)
downloadhaskell-fa92f5d1bd8ac27780a3e7b1a2d536b7eb76235b.tar.gz
OPTIONS_GHC overrides the command-line, not the other way around
-rw-r--r--docs/users_guide/using.xml7
1 files changed, 3 insertions, 4 deletions
diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index 9df6eb50b6..f361548877 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -73,10 +73,9 @@ module X where
maintains internally, so you'll be desperately disappointed if
you try to glob etc. inside <literal>OPTIONS_GHC</literal>.</para>
- <para>NOTE: the contents of OPTIONS_GHC are prepended to the
- command-line options, so you <emphasis>do</emphasis> have the
- ability to override OPTIONS_GHC settings via the command
- line.</para>
+ <para>NOTE: the contents of OPTIONS_GHC are appended to the
+ command-line options, so options given in the source file
+ override those given on the command-line.</para>
<para>It is not recommended to move all the contents of your
Makefiles into your source files, but in some circumstances, the