diff --git a/docs/dev_manual.pdf b/docs/dev_manual.pdf
new file mode 100644
index 0000000..5643c65
Binary files /dev/null and b/docs/dev_manual.pdf differ