diff options
Diffstat (limited to 'articles/ui/figs/Makefile')
| -rw-r--r-- | articles/ui/figs/Makefile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/articles/ui/figs/Makefile b/articles/ui/figs/Makefile deleted file mode 100644 index bf5ac5261..000000000 --- a/articles/ui/figs/Makefile +++ /dev/null @@ -1,15 +0,0 @@ - -plantuml = plantuml - -%.svg : %.pml - $(plantuml) -tsvg $< - -%.pdf : %.pml - $(plantuml) -tpdf $< - -files = taler-pay.pml taler-withdraw.pml \ -cc3ds.pml contract.pml paypal.pml \ -bitcoin.pml - -all : $(files:.pml=.pdf) $(files:.pml=.svg) - |