conferences/fosdem2024/fosdem2024_formal/Makefile

   1 all: formal.pdf
   2
   3 formal.pdf: formal.md states_enable.png states_one.png states_output.png \
   4     states_input.png states_verification.png states_complete.png \
   5     test_enable.png
   6
   7 %.pdf: %.md
   8         pandoc -t beamer $< -o $@
   9
  10 %.svg: %.dia
  11         dia -e $*.svg $<
  12
  13 %.png: %.svg
  14         inkscape -w 800 -e $@ $*.svg