Simon, You should not use the release flavour for development because it omits all recompilation info (for packaging determinism reasons). So, when using that flavour, recompilation checking does not work.
I believe you should be able to use almost any other flavour. For example, --devel2 will be able to run the docs target. Sam
_______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
