diff -r 1a7067207637 -r 7bc131b92039 documentation/graphs/Makefile --- /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 + +#-----------------------------------------------------------------------------