From: David Waern <davve@dtek.chalmers.se>
Date: Tue, 2 Oct 2007 14:38:49 +0000 (+0000)
Subject: Change DOCOPTIONS pragma to DOC_OPTIONS
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=e850f6914657190baf65db55c2fdecee2d38bee1;p=ghc-hetmet.git

Change DOCOPTIONS pragma to DOC_OPTIONS

MERGE TO STABLE
---

diff --git a/compiler/parser/Lexer.x b/compiler/parser/Lexer.x
index a63fa3b..47fd107 100644
--- a/compiler/parser/Lexer.x
+++ b/compiler/parser/Lexer.x
@@ -257,7 +257,7 @@ $tab+         { warn Opt_WarnTabs (text "Tab character") }
   "{-#" $whitechar* (CORE|core)		{ token ITcore_prag }
   "{-#" $whitechar* (UNPACK|unpack)	{ token ITunpack_prag }
 
-  "{-#" $whitechar* (DOCOPTIONS|docoptions)
+  "{-#" $whitechar* (DOC_OPTIONS|doc_options)
   / { ifExtension haddockEnabled }     { lex_string_prag ITdocOptions }
 
  "{-#"                                 { nested_comment lexToken }