diff --git a/doc/programmer.ps.gz b/doc/programmer.ps.gz
index 9f0fdc3978..70404d96df 100644
Binary files a/doc/programmer.ps.gz and b/doc/programmer.ps.gz differ