On 23 Apr 2018, Fred Liu outgrape: > Yeah, it is better for it is just one step! We have a 'make dist' target that does the git archive for you, though honestly I'm not sure that target adds much over doing the git archive by hand. I guess it's a few characters shorter!