Re: GHC include files

[George Russell]

"Manuel M. T. Chakravarty" wrote:
> This is exactly what the `...-config' script that I was
> talking about is supposed to do.  Now we can argue whether
> that should be part of `ghc' proper or an extra script.  An
> extra script at least has the advantage that it is easier to
> maintain manual in case somebody moves a tree or so.
On the other hand, wrapping it into the ghc command will make a
version mismatch when someone moves files around slightly less likely.