summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2020-07-12 13:46:45 +0200
committerChristian Grothoff <christian@grothoff.org>2020-07-12 13:46:45 +0200
commit7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9 (patch)
treee12ba30fa688a1fe323c4f6dcd646363393e986d /Makefile
parent39106e3bcd6e4c59cacf719f677a374f7dcc7953 (diff)
downloaddocs-7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9.tar.gz
docs-7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9.tar.bz2
docs-7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9.zip
more state machines
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile10
1 files changed, 8 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 358aef5..5b6a8dd 100644
--- a/Makefile
+++ b/Makefile
@@ -53,8 +53,14 @@ clean:
arch-api.png: arch-api.dot
dot -Tpng arch-api.dot > arch-api.png
-
-diagrams: arch-api.png
+coin.png: coin.dot
+ dot -Tpng coin.dot > coin.png
+deposit.png: deposit.dot
+ dot -Tpng deposit.dot > deposit.png
+reserve.png: reserve.dot
+ dot -Tpng reserve.dot > reserve.png
+
+diagrams: arch-api.png coin.png
# The html-linked builder does not support caching, so we