duncan.coutts at worc.ox.ac.uk
Mon Jul 30 09:27:45 EDT 2007
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?
More information about the cabal-devel