diff --git a/doc/refman.pdf b/doc/refman.pdf
index 1629a1871..4f7ea1e29 100644
Binary files a/doc/refman.pdf and b/doc/refman.pdf differ