diff --git a/docs/Makefile b/docs/Makefile index 416a866102..b16b2a26e1 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -6,7 +6,8 @@ SPHINXOPTS = SPHINXBUILD = sphinx-build PAPER = BUILDDIR = _build -PLANTUML = plantuml.jar +PLANTUML = plantuml.jar +PLANTUML_FROM_PKG = /usr/share/plantuml/plantuml.jar # Internal variables. @@ -45,7 +46,14 @@ clean: -rm -rf $(BUILDDIR)/* $(PLANTUML): - wget http://downloads.sourceforge.net/project/plantuml/plantuml.jar -O $(PLANTUML) + @if [ -f $(PLANTUML_FROM_PKG) ]; \ + then \ + echo "Have installed plantuml. Creating link $(PLANTUML) on $(PLANTUML_FROM_PKG)."; \ + ln -sf $(PLANTUML_FROM_PKG) $(PLANTUML); \ + else \ + echo "Downloading plantuml.jar."; \ + wget https://downloads.sourceforge.net/project/plantuml/plantuml.jar -O $(PLANTUML); \ + fi $(ACTION.TOUCH) html: $(PLANTUML)