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.