diff options
Diffstat (limited to 'doc/_static/Makefile')
| -rw-r--r-- | doc/_static/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/_static/Makefile b/doc/_static/Makefile new file mode 100644 index 0000000..8c880bc --- /dev/null +++ b/doc/_static/Makefile @@ -0,0 +1,6 @@ +translation.png: translation.puml + plantuml -tpng $< +translation.svg: translation.puml + plantuml -tsvg $< +clean: + rm -f translation.png translation.svg |