diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2017-10-08 15:31:40 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2017-10-08 15:31:40 +0300 |
| commit | e31035566237ea84dd5a8d9b7b9541934c15615f (patch) | |
| tree | 1e63b8c64bfa03988a3ccffb37583694e987445d /doc/gawktexi.in | |
| parent | a82d79a2f47736fb109625a434b532288ccd9c24 (diff) | |
| parent | b229671fa91db3bc2354c2f000a8155d32a9f117 (diff) | |
| download | egawk-e31035566237ea84dd5a8d9b7b9541934c15615f.tar.gz egawk-e31035566237ea84dd5a8d9b7b9541934c15615f.tar.bz2 egawk-e31035566237ea84dd5a8d9b7b9541934c15615f.zip | |
Merge branch 'master' into feature/dev-5.0
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 986e8957..2d7bcd69 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -4750,9 +4750,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 |