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, 0 insertions, 11 deletions
diff --git a/digital/io/doc/makefile b/digital/io/doc/makefile
deleted file mode 100644
index 3f03f686..00000000
--- a/digital/io/doc/makefile
+++ /dev/null
@@ -1,11 +0,0 @@
-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)