all: fig

fig:
	drawio --page-range 1..1 --export fig.drawio --crop -o fig.pdf
	drawio --page-range 2..2 --export fig.drawio --crop -o slide0.pdf
	drawio --page-range 3..3 --export fig.drawio --crop -o slide1.pdf
	drawio --page-range 4..4 --export fig.drawio --crop -o slide2.pdf