From fc1ab9f9bb5a36158820ac77450cb6587b26993b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 1 Mar 2018 10:53:39 +0100 Subject: [PATCH] org: update plantuml download URL * doc/Makefile.am: Here. --- doc/Makefile.am | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 021a31743..b797cea50 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,9 +1,9 @@ ## -*- coding: utf-8 -*- -## Copyright (C) 2010, 2011, 2013, 2014, 2015, 2016, 2017 Laboratoire de -## Recherche et Développement de l'Epita (LRDE). -## Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris -## 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -## Université Pierre et Marie Curie. +## Copyright (C) 2010-2011, 2013-2018 Laboratoire de Recherche et +## Développement de l'Epita (LRDE). +## Copyright (C) 2003-2005 Laboratoire d'Informatique de Paris 6 +## (LIP6), département Systèmes Répartis Coopératifs (SRC), Université +## Pierre et Marie Curie. ## ## This file is part of Spot, a model checking library. ## @@ -54,8 +54,9 @@ org: cat $(builddir)/org/org.errors; exit 1; \ else :; fi +PLANTUML_URL = https://sourceforge.net/projects/plantuml/files/latest/download org/plantuml.jar: - wget http://downloads.sourceforge.net/project/plantuml/plantuml.jar -O org/plantuml.jar || curl http://downloads.sourceforge.net/project/plantuml/plantuml.jar -o org/plantuml.jar + wget $(PLANTUML_URL) -O org/plantuml.jar || curl -L $(PLANTUML_URL) -o org/plantuml.jar org-man: mkdir -p $(srcdir)/userdoc/man