30 Jul
2007
30 Jul
'07
1:27 p.m.
On Mon, 2007-07-30 at 13:36 +0100, Ian Lynagh wrote:
On Mon, Jul 30, 2007 at 01:59:39PM +1000, Manuel M T Chakravarty wrote:
...doesn't clean the dist directories.
I was talking to Thomas about this the other day; I think Cabal clean should be much simpler than it currently appears to be. It ought to be able to just do essentially "rm -rf dist", no more and no less.
I agree. Let's do that. Anyone think it's not a good idea? Duncan