diff --git a/doc/programmer.ps.gz b/doc/programmer.ps.gz
index 9da5312270219cc5cd5069b57ec53a68e3f18964..9b892677f84b921829b50dec111f1b0e92ca9780 100644
Binary files a/doc/programmer.ps.gz and b/doc/programmer.ps.gz differ
diff --git a/doc/tutorial.ps.gz b/doc/tutorial.ps.gz
index 596733b228be70364579e2003688f0f33b993a70..d2185a830a02f8c5765c8579b098d29a3f470640 100644
Binary files a/doc/tutorial.ps.gz and b/doc/tutorial.ps.gz differ