From d3c80618984948a3e0bfb1813e4df02e0a2c320a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?P=C3=A1ll=20Haraldsson?= Date: Wed, 27 Nov 2019 21:33:18 +0000 Subject: [PATCH] Update for Unicode --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index 3fc092ccae4bd..d1c6ff87f0dea 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -26,7 +26,7 @@ DOCUMENTER_OPTIONS := linkcheck=$(linkcheck) doctest=$(doctest) buildroot=$(call $(SRCCACHE)/UnicodeData.txt: @mkdir -p "$(SRCCACHE)" - $(JLDOWNLOAD) "$@" http://www.unicode.org/Public/9.0.0/ucd/UnicodeData.txt + $(JLDOWNLOAD) "$@" http://www.unicode.org/Public/12.1.0/ucd/UnicodeData.txt deps: $(SRCCACHE)/UnicodeData.txt $(JLCHECKSUM) "$<"