distfile renaming - éclaire-moi, svp

[Jason Thorpe <thorpej%me.com@localhost>]

Howdy folks...

I have a situation where I want to add a prefix to some distfiles I'm downloading...

Specifically, let's say I have distfiles "foo", "bar", and "quux" on the distribution server (GitHub, in this case).  When I download them, I want them to land in pkgsrc/distfiles as "oink-foo", "oink-bar", and "oink-quux".

I'm downloading them using this pattern:

FOO=                  foo
DISTFILES+=      ${FOO}
SITES.${FOO}=   ${MASTER_SITE_GITHUB:=piggy/wiggly/blob/oink/}

I want that file to be "oink-foo" in pkgsrc/distfiles.

Halp?

-- thorpej