diff options
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index eb9560e8..15c33a1d 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -41972,7 +41972,7 @@ A number of the files that come with @command{gawk} are maintained by other people. Thus, you should not change them unless it is for a very good reason; i.e., changes are not out of the question, but changes to these files are scrutinized extra carefully. -These aree all the files the @file{support} directory +These are all the files in the @file{support} directory within the @command{gawk} distribution. See there. @item |