diff --git a/docs/BATMAN_tutorial.pdf b/docs/BATMAN_tutorial.pdf
deleted file mode 100644
index 43e36dc..0000000
Binary files a/docs/BATMAN_tutorial.pdf and /dev/null differ