Merge pull request #1830 from filalex77/fix-plantuml-url-again

lang/plantuml: fix jar download path (again)
This commit is contained in:
Henrik Lissner 2019-09-27 12:07:23 -04:00 committed by GitHub
commit e88a759f09
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -6,5 +6,5 @@
(interactive) (interactive)
(if (file-exists-p plantuml-jar-path) (if (file-exists-p plantuml-jar-path)
(user-error "plantuml.jar already installed") (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))) plantuml-jar-path)))