summaryrefslogtreecommitdiffhomepage
path: root/digital/io/doc/Makefile
diff options
context:
space:
mode:
authorNélio Laranjeiro2008-04-03 00:03:48 +0200
committerNélio Laranjeiro2008-04-03 00:03:48 +0200
commitcf994dcaf58f630836d13979bb9428aeeda56166 (patch)
tree5eb7654901c45f21cb3c9d8fc3bfce25aae0d4e9 /digital/io/doc/Makefile
parent1aa31771736695a1a3b04be1e30a3384030f7305 (diff)
Renamed the makefile to Makefile.
Diffstat (limited to 'digital/io/doc/Makefile')
-rw-r--r--digital/io/doc/Makefile11
1 files changed, 11 insertions, 0 deletions
diff --git a/digital/io/doc/Makefile b/digital/io/doc/Makefile
new file mode 100644
index 00000000..3f03f686
--- /dev/null
+++ b/digital/io/doc/Makefile
@@ -0,0 +1,11 @@
+DOT = mainFsm.dot loadBall.dot getSamplesFsm.dot stdContenerFsm.dot move.dot
+
+PNG = $(DOT:%.dot=%.png)
+
+all: $(PNG)
+
+%.png: %.dot
+ dot -Tpng -o $@ $<
+
+clean:
+ rm -f $(PNG)