diff --git a/doc/admin.ps.gz b/doc/admin.ps.gz index 33143c08a24375c8392d9f6d05db6f165f13b142..3fe305ad7d9a52d18ee06c416257d07a2e48eb39 100644 Binary files a/doc/admin.ps.gz and b/doc/admin.ps.gz differ