all:	erdos.ps

erdos.ps:	erdos.dot
	dot -Tps erdos.dot -o erdos.ps ; mogrify -format gif erdos.ps