diff --git a/doc/Manual.pdf b/doc/Manual.pdf
index e47d062b63..d028d5e36c 100644
Binary files a/doc/Manual.pdf and b/doc/Manual.pdf differ