1 2 3 4 5 6 7 8 9 10
--- doc/config.texi.orig Fri Dec 13 04:05:56 2002 +++ doc/config.texi Wed Jan 15 06:15:33 2003 @@ -1,6 +1,6 @@ @dircategory Text creation and manipulation @direntry -* sed: (sed). Stream EDitor. +* GNU sed: (sed). Stream EDitor. @end direntry