diff -r bf28ede88c70 -r 1e74a0212418 documentation/graphs/Makefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/documentation/graphs/Makefile Mon Mar 05 14:51:53 2007 +0000 @@ -0,0 +1,17 @@ +#----------------------------------------------------------------------------- +# +# $Id$ +# +#----------------------------------------------------------------------------- + +GRAPHS := slave_conf.ps + +all: $(GRAPHS) + +%.ps: %.dot + dot -Tps -o $@ $< + +clean: + @rm -f *.ps + +#-----------------------------------------------------------------------------