diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-07-12 13:46:45 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-07-12 13:46:45 +0200 |
| commit | 7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9 (patch) | |
| tree | e12ba30fa688a1fe323c4f6dcd646363393e986d /Makefile | |
| parent | 39106e3bcd6e4c59cacf719f677a374f7dcc7953 (diff) | |
| download | docs-7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9.tar.gz docs-7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9.tar.bz2 docs-7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9.zip | |
more state machines
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -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 |