[bug-gawk] null element in AWKPATH

[Jun T.]

The document (2.5.1 in info, for example) says that a null
element in AWKPATH is equivalent to '.'.
For example, ":/path/A" should be equivalent to ".:/path/A".

But I get the following (gawk 4.1.4):

$ ls test.awk
test.awk
$ export AWKPATH=':/usr/local/share/awk'
$ gawk -f test.awk data_file
gawk: fatal: can't open source file `test.awk' for reading (No such file or 
directory)

Same for AWKLIBPATH.

Is this just that the document is not up-to-date?

Jun