diff --git a/doc/PESTO-doc.pdf b/doc/PESTO-doc.pdf index 59c90e3..f1b2117 100644 Binary files a/doc/PESTO-doc.pdf and b/doc/PESTO-doc.pdf differ