diff --git a/doc/documentation.pdf b/doc/documentation.pdf index f3b2fd6..2463d6e 100644 Binary files a/doc/documentation.pdf and b/doc/documentation.pdf differ