diff --git a/documentation/spec.pdf b/documentation/spec.pdf
new file mode 100644
index 00000000..ea211b69
Binary files /dev/null and b/documentation/spec.pdf differ