diff options
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/generate-images.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/generate-images.sh b/doc/generate-images.sh deleted file mode 100755 index 0950519..0000000 --- a/doc/generate-images.sh +++ /dev/null @@ -1,4 +0,0 @@ -#! /bin/sh - -cat simple-workflow.uml | guix shell plantuml -- plantuml -p > simple-workflow.png -cat joint-workflow.uml | guix shell plantuml -- plantuml -p > joint-workflow.png |