PR4 = ../bin/pr4

pr4.png: pr4.svg
	inkscape --batch-process --export-filename=$@ --export-width=5000 --export-height=7070 pr4.svg 2> /dev/null

pr4.svg: pr4.dot
	dot -Tsvg pr4.dot > $@

pr4.dot: $(PR4)
	$(PR4) --graph > $@

clean:
	$(RM) pr4.png pr4.svg pr4.dot