diff --git a/docs/documentation.pdf b/docs/documentation.pdf index 532840a9b..b8be88de3 100644 Binary files a/docs/documentation.pdf and b/docs/documentation.pdf differ