--- info/jed.info.orig Thu Apr 28 15:48:43 2005 +++ info/jed.info Thu Apr 28 15:54:22 2005 @@ -1,6 +1,11 @@ This is Info file jed.info, produced by Makeinfo-1.55 from the input file jed.ti. +INFO-DIR-SECTION Miscellaneous +START-INFO-DIR-ENTRY +* JED: (jed). JED editor documentation. +END-INFO-DIR-ENTRY +  Indirect: jed.1in: 83