download: add @GITHUB download facility
authorÁlvaro Fernández Rojas <noltari@gmail.com>
Sun, 3 Apr 2016 20:02:46 +0000 (22:02 +0200)
committerÁlvaro Fernández Rojas <noltari@gmail.com>
Sun, 3 Apr 2016 20:02:46 +0000 (22:02 +0200)
commit694f060550a90de0903830f210f0388f4171a774
treedea3d648dca00606b7e3c1917cbc83afb94e886a
parent5a7c064bdbb71bfbcded073c7c0a8723be306009
download: add @GITHUB download facility

Define a new alias (@GITHUB) for downloading raw files from github repos.

Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>
include/download.mk
scripts/download.pl