Version UnicodeData.txt filename (#35383)

We've been downloading multiple different versions of `UnicodeData.txt` across different branches and trying to keep a consistent checksum.
JuliaLang · Apr 21, 2020 · c35b0e2 · c35b0e2
1 parent a9794bc
commit c35b0e2
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/doc/Makefile b/doc/Makefile
@@ -24,11 +24,12 @@ help:
 DOCUMENTER_OPTIONS := linkcheck=$(linkcheck) doctest=$(doctest) buildroot=$(call cygpath_w,$(BUILDROOT)) \
     texplatform=$(texplatform)
 
-$(SRCCACHE)/UnicodeData.txt:
+UNICODE_DATA_VERSION=13.0.0
+$(SRCCACHE)/UnicodeData-$(UNICODE_DATA_VERSION).txt:
 	@mkdir -p "$(SRCCACHE)"
-	$(JLDOWNLOAD) "$@" http://www.unicode.org/Public/13.0.0/ucd/UnicodeData.txt
+	$(JLDOWNLOAD) "$@" http://www.unicode.org/Public/$(UNICODE_DATA_VERSION)/ucd/UnicodeData.txt
 
-deps: $(SRCCACHE)/UnicodeData.txt
+deps: $(SRCCACHE)/UnicodeData-$(UNICODE_DATA_VERSION).txt
 	$(JLCHECKSUM) "$<"
 	cp "$<" UnicodeData.txt