commit eab97d16fba12c6d51c3101685d7ea5bc8ebad54
parent a7f3a3212a7a8330847dc5ad0fed9a449510307f
Author: Michael Hatherly <michaelhatherly@gmail.com>
Date: Wed, 4 Jan 2017 02:44:23 +0200
Don't use cached version of UnicodeData.txt (#92)
Ref: https://github.com/JuliaLang/julia/pull/19725, UnicodeData.txt is
now being cached in JuliaLang/julia's build.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/data/Makefile b/data/Makefile
@@ -38,7 +38,7 @@ CharWidths.txt: charwidths.jl unifont.sfd unifont_upper.sfd EastAsianWidth.txt
UNICODE_VERSION=9.0.0
UnicodeData.txt:
- $(CURL) $(CURLFLAGS) -o $@ -O $(URLCACHE)http://www.unicode.org/Public/$(UNICODE_VERSION)/ucd/UnicodeData.txt
+ $(CURL) $(CURLFLAGS) -o $@ -O http://www.unicode.org/Public/$(UNICODE_VERSION)/ucd/UnicodeData.txt
EastAsianWidth.txt:
$(CURL) $(CURLFLAGS) -o $@ -O $(URLCACHE)http://www.unicode.org/Public/$(UNICODE_VERSION)/ucd/EastAsianWidth.txt