diff --git a/doc/manual.pdf b/doc/manual.pdf
deleted file mode 100644
index 4ec4438..0000000
Binary files a/doc/manual.pdf and /dev/null differ