[darcs-users] darcs patch: Move tools/ to contrib/.

[Trent W. Buck]

On Sat, May 09, 2009 at 09:34:54PM -0400, Eric Kow wrote:
> On Fri, May 08, 2009 at 12:39:38 +1000, Trent W.Buck wrote:
> > Fri May  8 12:08:00 EST 2009  Trent W. Buck <trentbuck at gmail.com>
> >   * Move tools/ to contrib/.
> >   
> >   In other projects where I've seen a "tools" directory, it contains
> >   utilities used during build, rather than by end users.  I think
> >   convention is to put handy little end-user utilities in a directory
> >   called "contrib".  This also indicates that they aren't maintained as
> >   actively as the rest of the code.
> >   
> >   Renaming this directory makes me, at least, less confused.
> 
> Applied, thanks!

I only noticed today, but this breaks autoconf builds, and parts of
cabal (cabal dist?).  References to tools/ in the build code need to
be adjusted accordingly.

I should be able to do this on Monday if someone hasn't submitted a
patch by then.