From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Mon, 5 May 2008 00:46:03 +0000 (+0000)
Subject: External Core tools: add note to README about where to find documentation
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=c14c7b82c82806bf9c8333e50c6648c3a58cd951

External Core tools: add note to README about where to find documentation
---

diff --git a/utils/ext-core/README b/utils/ext-core/README
index bb5f3aa..84f213d 100644
--- a/utils/ext-core/README
+++ b/utils/ext-core/README
@@ -4,6 +4,12 @@ In particular, typechecker and interpreter give a precise semantics.
 ---------------------
 tjc April/May 2008:
 
+==== Documentation ====
+
+Documentation for the External Core format lives under docs/ext-core in the
+GHC tree. If you are building from HEAD, do not rely on the version of the
+External Core documentation that lives in haskell.org -- it is obsolete!
+
 ==== Notes ====
 
 The checker should work on most programs. Bugs (and infelicities)