From eb63283f0d56367bbba75522554751444c9d7588 Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Sun, 8 Oct 2017 15:30:27 +0300 Subject: Small doc correction in the manual. --- doc/gawktexi.in | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'doc/gawktexi.in') 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 -- cgit v1.2.3