[[project @ 2005-01-11 16:06:56 by simonmar]
simonmar**20050111160658
 Rename OPTIONS to OPTIONS_GHC.
] {
hunk ./ghc/docs/users_guide/glasgow_exts.xml 4376
-      <title>OPTIONS pragma</title>
-      <indexterm><primary>OPTIONS</primary>
+      <title>OPTIONS_GHC pragma</title>
+      <indexterm><primary>OPTIONS_GHC</primary>
hunk ./ghc/docs/users_guide/glasgow_exts.xml 4379
-      <indexterm><primary>pragma</primary><secondary>OPTIONS</secondary>
+      <indexterm><primary>pragma</primary><secondary>OPTIONS_GHC</secondary>
hunk ./ghc/docs/users_guide/glasgow_exts.xml 4382
-      <para>The <literal>OPTIONS</literal> pragma is used to specify
+      <para>The <literal>OPTIONS_GHC</literal> pragma is used to specify
hunk ./ghc/docs/users_guide/glasgow_exts.xml 4386
+
+      <para>Previous versions of GHC accepted <literal>OPTIONS</literal> rather
+	than <literal>OPTIONS_GHC</literal>, but that is now deprecated.</para>
hunk ./ghc/docs/users_guide/using.xml 54
-      <literal>OPTIONS</literal> pragma <indexterm><primary>OPTIONS
+      <literal>OPTIONS_GHC</literal> pragma <indexterm><primary>OPTIONS_GHC
hunk ./ghc/docs/users_guide/using.xml 58
-{-# OPTIONS -fglasgow-exts #-}
+{-# OPTIONS_GHC -fglasgow-exts #-}
hunk ./ghc/docs/users_guide/using.xml 63
-      <para><literal>OPTIONS</literal> pragmas are only looked for at
+      <para><literal>OPTIONS_GHC</literal> pragmas are only looked for at
hunk ./ghc/docs/users_guide/using.xml 66
-      <literal>OPTIONS</literal>. Multiple <literal>OPTIONS</literal>
+      <literal>OPTIONS_GHC</literal>. Multiple <literal>OPTIONS_GHC</literal>
hunk ./ghc/docs/users_guide/using.xml 71
-      you try to glob etc. inside <literal>OPTIONS</literal>.</para>
+      you try to glob etc. inside <literal>OPTIONS_GHC</literal>.</para>
hunk ./ghc/docs/users_guide/using.xml 73
-      <para>NOTE: the contents of OPTIONS are prepended to the
+      <para>NOTE: the contents of OPTIONS_GHC are prepended to the
hunk ./ghc/docs/users_guide/using.xml 75
-      ability to override OPTIONS settings via the command
+      ability to override OPTIONS_GHC settings via the command
hunk ./ghc/docs/users_guide/using.xml 80
-      <literal>OPTIONS</literal> pragma is the Right Thing. (If you
+      <literal>OPTIONS_GHC</literal> pragma is the Right Thing. (If you
hunk ./ghc/docs/users_guide/using.xml 82
-      your module, the OPTIONS will get put into the generated .hc
+      your module, the OPTIONS_GHC will get put into the generated .hc
hunk ./ghc/docs/users_guide/using.xml 105
-    dynamic flag may also be given in an <literal>OPTIONS</literal>
+    dynamic flag may also be given in an <literal>OPTIONS_GHC</literal>
hunk ./ghc/docs/users_guide/using.xml 357
-      file only, you'll need to use an <literal>OPTIONS</literal>
+      file only, you'll need to use an <literal>OPTIONS_GHC</literal>
}