+ediff.pdf: ediff.texi
+ $(ENVADD) $(TEXI2PDF) ${srcdir}/ediff.texi
+
+edt : $(infodir)/edt
+$(infodir)/edt: edt.texi
+ cd $(srcdir); $(MAKEINFO) edt.texi
+edt.dvi: edt.texi
+ $(ENVADD) $(TEXI2DVI) ${srcdir}/edt.texi
+edt.pdf: edt.texi
+ $(ENVADD) $(TEXI2PDF) ${srcdir}/edt.texi
+
+eieio : $(infodir)/eieio
+$(infodir)/eieio: eieio.texi
+ cd $(srcdir); $(MAKEINFO) eieio.texi
+eieio.dvi: eieio.texi
+ $(ENVADD) $(TEXI2DVI) ${srcdir}/eieio.texi
+eieio.pdf: eieio.texi
+ $(ENVADD) $(TEXI2PDF) ${srcdir}/eieio.texi