diff --git a/doc/manual.pdf b/doc/manual.pdf
new file mode 100644
index 0000000..c202b61
Binary files /dev/null and b/doc/manual.pdf differ
diff --git a/doc/overview.pdf b/doc/overview.pdf
new file mode 100644
index 0000000..c6dc499
Binary files /dev/null and b/doc/overview.pdf differ