From e2b196f096cf9e36a83b8ae71f5b215d83e7a98d Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@2li.ch>
Date: Sat, 13 Oct 2018 18:13:56 +0200
Subject: [PATCH] convert puml files to pdf

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index d2faacf..509ef09 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ SVG_PDF=$(FIGURES_SVG:.svg=.pdf)
 EPS_PDF=$(FIGURES_EPS:.eps=.pdf)
 DOT_PDF=$(FIGURES_DOT:.dot=.pdf)
 TEX_PDF=$(FIGURES_TEX:.tex=.pdf)
-PUML_PDF=$(FIGURES_PUML:.puml=.svg)
+PUML_PDF=$(FIGURES_PUML:.puml=.pdf)
 
 .PHONY: $(PAPER).pdf all clean
 
@@ -62,5 +62,5 @@ $(PROJECT_ROOT)/pictures/%.pdf: pictures/%.tex  ## Figures for the manuscript
 	latexmk -quiet -pdf -outdir=$(PROJECT_ROOT)/pictures \
 	-pdflatex="pdflatex -interaction=nonstopmode" -use-make $<
 
-$(PROJECT_ROOT)/pictures/%.svg: pictures/%.puml
-	java -jar ~/bin/plantuml.jar -tsvg $(PROJECT_ROOT)/$<
+$(PROJECT_ROOT)/pictures/%.pdf: pictures/%.puml
+	java -jar ~/bin/plantuml.jar -pdf $(PROJECT_ROOT)/$<