changeset 614 | 1e74a0212418 |
child 616 | b777e26367c5 |
--- /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 + +#-----------------------------------------------------------------------------