Created a link to 01-index.tar.gz

In order to maintain backward compatibility to older versions
This commit is contained in:
R. Patrick. Huang 2017-12-10 01:14:09 +08:00 committed by GitHub
parent ac6fc385f0
commit 1e029b87c3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -98,6 +98,7 @@ function hackage_mirror() {
done done
cp index.tar.gz 01-index.tar.gz cp index.tar.gz 01-index.tar.gz
ln -sf 01-index.tar.gz 00-index.tar.gz
} }
function cleanup () { function cleanup () {