Added mimify docs (Sjoerd).
diff --git a/Doc/Makefile b/Doc/Makefile
index 9a81956..7fc78ae 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -112,7 +112,7 @@
     libuser.tex libanydbm.tex librandom.tex libsite.tex libwhichdb.tex \
     libbase64.tex libfnmatch.tex libquopri.tex libzlib.tex libsocksvr.tex \
     libmailbox.tex libcommands.tex libcmath.tex libni.tex libgzip.tex \
-    libpprint.tex libcode.tex
+    libpprint.tex libcode.tex libmimify.tex
 
 # Library document
 lib.dvi: $(LIBFILES)