Makefile: also copy tar.gz to download/ in deploy-release.
treef6fe278f878dd98ea7bc82524b549b1b5129fbc0
-rw-r--r-- 52 .gitignore
-rw-r--r-- 1394 Makefile
-rw-r--r-- 718 TODO
-rw-r--r-- 51709 index.txt