Add imail documentation.

diff --git a/v7/dist/make-doc-files b/v7/dist/make-doc-files
index 743cc0157bf2d2919746418340af46c2dc8fd7eb..beabc863f54edf49da04f9dbf7c6f2d69861941f 100755 (executable)
--- a/v7/dist/make-doc-files
+++ b/v7/dist/make-doc-files
@@ -6,7 +6,7 @@ rm -rf ${prefix}
 mkdir ${prefix}
 mkdir ${tldir}
 
-mans="ref-manual user-manual sos"
+mans="ref-manual user-manual sos imail"
 types="texinfo info dvi ps html"
 
 for type in ${types}