ed-info.patch

   1 --- ed-1.20.1/doc/ed.texi.orig  2024-02-18 11:27:34.961047174 +0100
   2 +++ ed-1.20.1/doc/ed.texi       2024-02-18 11:35:42.948403519 +0100
   3 @@ -9,9 +9,9 @@
   4  @set UPDATED 14 February 2024
   5  @set VERSION 1.20.1
   6
   7 -@dircategory Basics
   8 +@dircategory File utilities:
   9  @direntry
  10 -* Ed: (ed).                     The GNU line editor
  11 +* Ed: (ed).                            The GNU line editor
  12  @end direntry
  13
  14  @copying