all: formal.pdf

formal.pdf: formal.md states_enable.png states_one.png states_output.png \
            states_input.png states_verification.png states_complete.png \
            test_enable.png memory.png stream.png sum.png

%.pdf: %.md
	pandoc -t beamer $< -o $@

%.svg: %.dia
	dia -e $*.svg $<

%.png: %.svg
	inkscape -w 800 -e $@ $*.svg