lang/plantuml: fix jar download path (again)

Now this should redirect to the auto-selected mirror.

Related: #1637 #1639
This commit is contained in:
Oleksii Filonenko 2019-09-27 15:36:47 +03:00
parent 87b7a8da05
commit 54d4bbf829
No known key found for this signature in database
GPG key ID: F3510FE5691629A1

View file

@ -6,5 +6,5 @@
(interactive)
(if (file-exists-p plantuml-jar-path)
(user-error "plantuml.jar already installed")
(url-copy-file "https://datapacket.dl.sourceforge.net/project/plantuml/plantuml.jar"
(url-copy-file "https://downloads.sourceforge.net/project/plantuml/plantuml.jar"
plantuml-jar-path)))