diff --git a/doc/doc.pdf b/doc/doc.pdf
index 44451212753e15ce7384dd937e638559abbdf20a..d2b2dacc929318c65a01a820a201e78ff9835357 100644
Binary files a/doc/doc.pdf and b/doc/doc.pdf differ