diff --git a/doc/admin.ps.gz b/doc/admin.ps.gz index 2ebbca4567..33143c08a2 100644 Binary files a/doc/admin.ps.gz and b/doc/admin.ps.gz differ diff --git a/doc/admin.tar.gz b/doc/admin.tar.gz index 26f4d78d23..d81703a47d 100644 Binary files a/doc/admin.tar.gz and b/doc/admin.tar.gz differ diff --git a/doc/postgres.tar.gz b/doc/postgres.tar.gz index e9704971c5..74ee856358 100644 Binary files a/doc/postgres.tar.gz and b/doc/postgres.tar.gz differ diff --git a/doc/programmer.tar.gz b/doc/programmer.tar.gz index d8745d06af..aa62fc2665 100644 Binary files a/doc/programmer.tar.gz and b/doc/programmer.tar.gz differ diff --git a/doc/user.tar.gz b/doc/user.tar.gz index f0f0bbeee4..2314c72cc4 100644 Binary files a/doc/user.tar.gz and b/doc/user.tar.gz differ