diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2017-10-08 15:30:27 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2017-10-08 15:30:27 +0300 |
commit | eb63283f0d56367bbba75522554751444c9d7588 (patch) | |
tree | 5e96cd86b47a79032b9936cc793823f7c4826318 /doc/gawk.texi | |
parent | 01da0d77347823a9e6adb5cee6a0c654baf1a147 (diff) | |
download | egawk-eb63283f0d56367bbba75522554751444c9d7588.tar.gz egawk-eb63283f0d56367bbba75522554751444c9d7588.tar.bz2 egawk-eb63283f0d56367bbba75522554751444c9d7588.zip |
Small doc correction in the manual.
Diffstat (limited to 'doc/gawk.texi')
-rw-r--r-- | doc/gawk.texi | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 50d58099..e689cb66 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -4839,9 +4839,8 @@ thus reducing the need for writing complex and tedious command lines. In particular, @code{@@include} is very useful for writing CGI scripts to be run from web pages. -As mentioned in @ref{AWKPATH Variable}, the current directory is always -searched first for source files, before searching in @env{AWKPATH}; -this also applies to files named with @code{@@include}. +The rules for finding a source file described in @ref{AWKPATH Variable} also +apply to files loaded with @code{@@include}. @node Loading Shared Libraries @section Loading Dynamic Extensions into Your Program |