+$(infodir)/mairix-el: mairix-el.texi
+ $(MAKEINFO) $(MAKEINFO_OPTS) mairix-el.texi
+mairix-el.dvi: mairix-el.texi
+ $(ENVADD) $(TEXI2DVI) $(srcdir)/mairix-el.texi
+
+$(infodir)/auth: auth.texi
+ $(MAKEINFO) $(MAKEINFO_OPTS) auth.texi
+auth.dvi: auth.texi
+ $(ENVADD) $(TEXI2DVI) $(srcdir)/auth.texi
+
+$(infodir)/eieio: eieio.texi
+ $(MAKEINFO) $(MAKEINFO_OPTS) eieio.texi
+eieio.dvi: eieio.texi
+ $(ENVADD) $(TEXI2DVI) $(srcdir)/eieio.texi
+
+$(infodir)/ede: ede.texi
+ $(MAKEINFO) $(MAKEINFO_OPTS) ede.texi
+ede.dvi: ede.texi
+ $(ENVADD) $(TEXI2DVI) $(srcdir)/ede.texi
+
+$(infodir)/semantic: semantic.texi
+ $(MAKEINFO) $(MAKEINFO_OPTS) semantic.texi
+semantic.dvi: semantic.texi
+ $(ENVADD) $(TEXI2DVI) $(srcdir)/semantic.texi
+
+$(infodir)/edt: edt.texi
+ $(MAKEINFO) $(MAKEINFO_OPTS) edt.texi
+edt.dvi: edt.texi
+ $(ENVADD) $(TEXI2DVI) $(srcdir)/edt.texi
+