btw, just so you know, for your own purposes to get things done, there is no need to spend three days figuring this out, or use the github PortGroup at all.
Just use the full URL path to the file as master_sites, and then the filename as distfiles, and move on. You're done in 10 seconds. Sometimes, it's just not worth figuring the github portgroup out when you're bogging down and need to get things done. It's a convenience, not a requirement, for your own use. If you want to submit a port to MacPorts, you'll need to sort it out, though. K
