diff --git a/doc/manual.pdf b/doc/manual.pdf
index a057834..72caefd 100644
Binary files a/doc/manual.pdf and b/doc/manual.pdf differ