[project @ 2001-09-06 15:54:48 by apt]
authorapt <unknown>
Thu, 6 Sep 2001 15:54:48 +0000 (15:54 +0000)
committerapt <unknown>
Thu, 6 Sep 2001 15:54:48 +0000 (15:54 +0000)
commit0a853c3e411f0ad3b4fe961571087be67390ae57
tree45b8c610afa1b2bae2d2a58cb0b09edbafc7a1f7
parent51f8f0f50c1a709ed898d149f458f781279fa4c6
[project @ 2001-09-06 15:54:48 by apt]
document -fext-core flag and set pointers to ext-core docs/tools (MERGE to STABLE pleeeeeease.)
ghc/docs/users_guide/5-02-notes.sgml
ghc/docs/users_guide/flags.sgml
ghc/docs/users_guide/using.sgml