diff --git a/doc/mkexp.pdf b/doc/mkexp.pdf index b620ac9302cc05c6ee4aba03bf83af2d6f353c11..e5cb57e8a20b67490eb6a545623da3236350caf3 100644 Binary files a/doc/mkexp.pdf and b/doc/mkexp.pdf differ