diff --git a/doc/exrename.dvi b/doc/exrename.dvi
new file mode 100644
index 0000000..8c3bb3e
Binary files /dev/null and b/doc/exrename.dvi differ