diff --git a/doc/README.pdf b/doc/README.pdf index 48d5dc367..94f7c04e0 100644 Binary files a/doc/README.pdf and b/doc/README.pdf differ