bug 1220: add a few more slides with examples

[libreriscv.git] / conferences / fosdem2024 / fosdem2024_formal / Makefile

diff --git a/conferences/fosdem2024/fosdem2024_formal/Makefile b/conferences/fosdem2024/fosdem2024_formal/Makefile
index f99d01114078db531823e8ed1c88bb1c02d57ee1..9012dc9f023c134914b2ea63b8437fde64b5af48 100644 (file)
--- a/conferences/fosdem2024/fosdem2024_formal/Makefile
+++ b/conferences/fosdem2024/fosdem2024_formal/Makefile
@@ -1,8 +1,8 @@
 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
+            states_input.png states_verification.png states_complete.png \
+            test_enable.png memory.png stream.png sum.png
 
 %.pdf: %.md
        pandoc -t beamer $< -o $@