diff --git a/packages/cplint/doc/manual.pdf b/packages/cplint/doc/manual.pdf
index 0ae73e15d..adde428d6 100644
Binary files a/packages/cplint/doc/manual.pdf and b/packages/cplint/doc/manual.pdf differ