--- jed.info.orig Thu Jan 24 00:25:56 2002 +++ jed.info Thu Jan 24 00:30:11 2002 @@ -1,6 +1,12 @@ This is Info file jed.info, produced by Makeinfo-1.55 from the input file jed.ti. +INFO-DIR-SECTION Editors +START-INFO-DIR-ENTRY +* Jed: (jed). Console S-Lang-based editor. +END-INFO-DIR-ENTRY + +  Indirect: jed.1in: 83