diff options
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 20557378..9a6e4521 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -40945,7 +40945,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 are 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 |