diff options
| author | Josh Soref <jsoref@gmail.com> | 2023-05-10 13:18:57 -0700 |
|---|---|---|
| committer | Jim Meyering <meyering@meta.com> | 2023-05-10 13:18:57 -0700 |
| commit | 16f9ca8ed1826063920f480ec341f20b0313482e (patch) | |
| tree | 4370647fb7fda1f9d5128ad4aa4c0d9a9f5ee130 /doc | |
| parent | e43470dafcc6c66bfde8364a76e6d6da82ff36dd (diff) | |
| download | grep-16f9ca8ed1826063920f480ec341f20b0313482e.tar.gz | |
doc: spelling fixes in doc/, comments and old ChangeLog
* ChangeLog-2009: Fix spelling errors.
* bootstrap: Likewise.
* doc/grep.texi: Likewise.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/grep.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/grep.texi b/doc/grep.texi index ff31d5d2..594ac1f8 100644 --- a/doc/grep.texi +++ b/doc/grep.texi @@ -2137,7 +2137,7 @@ removed from POSIX in 2001, deprecated by GNU Grep 2.5.3 in 2007, and changed to issue obsolescence warnings by GNU Grep 3.8 in 2022; eventually, they are planned to be removed entirely. -If you prefer the old names, you can use use your own substitutes, +If you prefer the old names, you can use your own substitutes, such as a shell script named @command{egrep} with the following contents: |