diff --git a/doc/dbtools.pdf b/doc/dbtools.pdf index 017eeb6..320d036 100644 Binary files a/doc/dbtools.pdf and b/doc/dbtools.pdf differ