diff --git a/doc/README.pdf b/doc/README.pdf index 1833dbe86..d3c09d05e 100644 Binary files a/doc/README.pdf and b/doc/README.pdf differ