On Sun, 27 Aug 2006, Tommy Pettersson wrote:
Perhaps the --dist-name option could divide the distname into a directory part and a base name part, and make sure the tar file (or whatever) ends up at the right place. Would other darcs users find this intuitive?
Yes! I much prefer this to adding an option for the directory. -Peter _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
