[m-dev.] Source distribution file name

[Paul Bone]

On Thu, Jan 17, 2013 at 03:36:53PM +1100, Julien Fischer wrote:
> Hi,
> 
> Previously we had a bunch of tarballs corresponding to the source distribution,
> 
>     mercury-compiler-<VERSION>.tar.gz
>     mercury-extras-<VERSION>.tar.gz
>     mercury-tests-<VERSION>.tar.gz
> 
> As these have all now been rolled into a single tar ball, I propose
> that we change
> the name to
> 
>    mercury-srcdist-<VERSION>.tar.gz
> 

mercury-<version>.tar.gz makes sense to me.

We don't provide any tarballs that _arn't_ the source dist.

-- 
Paul Bone
http://www.bone.id.au