diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-04-05 10:25:31 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-04-05 10:25:31 +0300 |
| commit | 12a5a583e98ba7a6886407df6df74a1dbb65ae64 (patch) | |
| tree | dbd5ca39d5a68e3f0e8761a2c6cbf38dc3143436 /doc/gawk.texi | |
| parent | 8952c58b0405f01b68a19b46d10a7506b674b9a8 (diff) | |
| download | egawk-12a5a583e98ba7a6886407df6df74a1dbb65ae64.tar.gz egawk-12a5a583e98ba7a6886407df6df74a1dbb65ae64.tar.bz2 egawk-12a5a583e98ba7a6886407df6df74a1dbb65ae64.zip | |
Small doc fix.
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 |