[m-dev.] Source distribution file name

[Julien Fischer]

On Thu, Jan 17, 2013 at 3:56 PM, Paul Bone <paul at bone.id.au> wrote:
> 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.

That's often the name of the installation directory though.

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

We have in the past (and may again in the future).

Julien.