On Sun, Dec 01, 2013 at 09:20:58AM +0000, Stuart Henderson wrote: > [...] > We could do with something in infrastructure for tihs really, I wonder > if a USE_GITHUB might be the easiest way there... > [...]
That seems awfully specific. Would adding something like
PREFIX_DISTFILE=foobar-
to store a distfile with a name like '1.10.tar.gz' as
'foobar-1.10.tar.gz' make sense?
--
Gregor Best
