diff --git a/archive/old_manual.pdf b/archive/old_manual.pdf
new file mode 100644
index 0000000000..17f36d8096
Binary files /dev/null and b/archive/old_manual.pdf differ