diff --git a/docs/dev_manual.pdf b/docs/dev_manual.pdf
index 3c4c2ba..bb9fd88 100644
Binary files a/docs/dev_manual.pdf and b/docs/dev_manual.pdf differ