diff --git a/doc/Manual.pdf b/doc/Manual.pdf
index b7a68ca161..0b4a02c1d6 100644
Binary files a/doc/Manual.pdf and b/doc/Manual.pdf differ