diff --git a/doc/Manual.pdf b/doc/Manual.pdf
index 7be15b9e12..26e0a7963d 100644
Binary files a/doc/Manual.pdf and b/doc/Manual.pdf differ