+#
+$(infodir)/emacs-mime: emacs-mime.texi
+ $(MAKEINFO) emacs-mime.texi
+emacs-mime.dvi: emacs-mime.texi
+ $(ENVADD) $(TEXI2DVI) $(srcdir)/emacs-mime.texi
+#
+$(infodir)/sieve: sieve.texi
+ $(MAKEINFO) sieve.texi
+sieve.dvi: sieve.texi
+ $(ENVADD) $(TEXI2DVI) $(srcdir)/sieve.texi
+#
+$(infodir)/pgg: pgg.texi
+ $(MAKEINFO) pgg.texi
+pgg.dvi: pgg.texi
+ $(ENVADD) $(TEXI2DVI) $(srcdir)/pgg.texi