diff --git a/.gitignore b/.gitignore
index 5c6840dac..17a3384a4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -75,3 +75,5 @@ frontends/queues/tests/**/*.expect
 
 # emacs
 *~
+
+!docs/dev/assets/*.png
diff --git a/docs/dev/assets/calyx-missing.png b/docs/dev/assets/calyx-missing.png
new file mode 100644
index 000000000..06ab2f673
Binary files /dev/null and b/docs/dev/assets/calyx-missing.png differ
diff --git a/docs/dev/assets/horrific-interface.png b/docs/dev/assets/horrific-interface.png
new file mode 100644
index 000000000..e93a01a06
Binary files /dev/null and b/docs/dev/assets/horrific-interface.png differ
diff --git a/docs/dev/assets/well-formed.png b/docs/dev/assets/well-formed.png
new file mode 100644
index 000000000..14af47f44
Binary files /dev/null and b/docs/dev/assets/well-formed.png differ