diff --git a/doc/jmanual.dvi b/doc/jmanual.dvi
index 8e215232..90c9172c 100644
Binary files a/doc/jmanual.dvi and b/doc/jmanual.dvi differ
diff --git a/doc/jmanual.pdf b/doc/jmanual.pdf
index 27f58220..63c82fcd 100644
Binary files a/doc/jmanual.pdf and b/doc/jmanual.pdf differ