documentation/graphs/Makefile
branchstable-1.3
changeset 1744 7bc131b92039
child 1745 07fd94c5119d
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/documentation/graphs/Makefile	Fri Aug 10 15:27:08 2007 +0000
@@ -0,0 +1,17 @@
+#-----------------------------------------------------------------------------
+#
+# $Id$
+#
+#-----------------------------------------------------------------------------
+
+GRAPHS := fsm_slave_conf.ps fsm_pdo_mapping.ps
+
+all: $(GRAPHS)
+
+%.ps: %.dot
+	dot -Tps -o $@ $<
+
+clean:
+	@rm -f *.ps
+
+#-----------------------------------------------------------------------------