From dd973d120ed6b1947f5cb9acabfc308fe10e9b68 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 26 Jun 2018 14:24:22 +0200
Subject: [PATCH] doc: download plantuml.jar from lrde.epita.fr

* doc/Makefile.am (PLANTUML_URL): Adjust.
---
 doc/Makefile.am | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index b96c66542..3339a67f3 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -54,7 +54,10 @@ org: $(PICTURES_EXTRA)
 	  cat $(builddir)/org/org.errors; exit 1; \
         else :; fi
 
-PLANTUML_URL = https://sourceforge.net/projects/plantuml/files/latest/download
+# We mirror the SourceForge URL here, because we have too many issues
+# with these automated download otherwise (mainly SSL issues and down
+# time), and failing to download those breaks our automated builds.
+PLANTUML_URL = https://www.lrde.epita.fr/dload/spot/deps/plantuml.jar
 org/plantuml.jar:
 	wget $(PLANTUML_URL) -O org/plantuml.jar || curl -L $(PLANTUML_URL) -o org/plantuml.jar