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