diff --git a/doc/README.pdf b/doc/README.pdf index 49650c621..5d2b085d5 100644 Binary files a/doc/README.pdf and b/doc/README.pdf differ