diff --git a/docs/user_manual.pdf b/docs/user_manual.pdf new file mode 100644 index 0000000..2a7e258 Binary files /dev/null and b/docs/user_manual.pdf differ