diff --git a/doc/src/Developer/developer.pdf b/doc/src/Developer/developer.pdf
deleted file mode 100644
index 3cef2c9d8d..0000000000
Binary files a/doc/src/Developer/developer.pdf and /dev/null differ