From 7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 12 Jul 2020 13:46:45 +0200
Subject: more state machines

---
 Makefile | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 358aef58..5b6a8ddd 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
-- 
cgit v1.2.3