($(infodir)/eieio, eieio.dvi, $(infodir)/ede, ede.dvi): New targets.
Attach a file by drag & drop or click to upload