diff -r -C2 ed-0.2.orig/ed.texinfo ed-0.2/ed.texinfo *** ed-0.2.orig/ed.texinfo Sat Nov 19 07:38:01 1994 --- ed-0.2/ed.texinfo Fri Aug 3 19:03:33 2001 *************** *** 8,11 **** --- 8,16 ---- @ifinfo + + @direntry + * ed: (ed). line editor. + @end direntry + This file documents the @code{ed} command, which has the purpose of editing text files.