blob: 05cd305918e90268698d30a67f44dfd9930a994d (
plain) (
tree)
|
|
--- 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
|
