Hugs' build system

[Sven Panne]

On Saturday 24 March 2007 17:08, Ross Paterson wrote:
> Looks good to me.  Just a few old directories not removed:
>
> dotnet/lib/System
> lib
> libraries/Hugs
>
> If you can do something about those, let's switch.

This is funny: When I do a 'darcs get' for the repo, my local copy has those 3 
empty directories, but the directories on the server are non-empty...

Confused,
   S.