diff --git a/doc/programmer.ps.gz b/doc/programmer.ps.gz
index 9b892677f84b921829b50dec111f1b0e92ca9780..3967e0de691272880ebb2d3a7a9465a26786e461 100644
Binary files a/doc/programmer.ps.gz and b/doc/programmer.ps.gz differ