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