alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

org: update plantuml download URL

Browse source 
* doc/Makefile.am: Here.
This commit is contained in:
Alexandre Duret-Lutz 2018-03-01 10:53:39 +01:00
parent fe12f15a16
commit fc1ab9f9bb
1 changed files with 7 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

13
doc/Makefile.am
View file

@ -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