diff --git a/.gitignore b/.gitignore
index 23c48913379ede89b9a09e03ec0f740f23a2d6d9..fe825310cb7ee4b396cbee7e349065de9aeb040f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,5 +7,4 @@
 *\.fls
 *\.log
 *\.out
-*\.pdf
 *\.toc
diff --git a/protocol.pdf b/protocol.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..ec9af55dea8c625459280fd841f3e075da604f67
Binary files /dev/null and b/protocol.pdf differ