diff --git a/doc/doc.pdf b/doc/doc.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..e4bd4946556ed98f678ae8927cb57ffd988405c2
Binary files /dev/null and b/doc/doc.pdf differ