diff --git a/docs/anttool1.gif b/docs/anttool1.gif
new file mode 100644
index 000000000..6859656b9
Binary files /dev/null and b/docs/anttool1.gif differ
diff --git a/docs/toolmenu.gif b/docs/toolmenu.gif
new file mode 100644
index 000000000..164db44d8
Binary files /dev/null and b/docs/toolmenu.gif differ