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;hp=e850f6914657190baf65db55c2fdecee2d38bee1;p=ghc-hetmet.git

Change DOCOPTIONS pragma to DOC_OPTIONS

MERGE TO STABLE
---