~vcs-imports/gawk/master

Viewing changes to doc/gawktexi.in

Doc update w.r.t. readdir extension.

added added

removed removed

36938

@code{stat()} in order to get correct type information.

36939

@end quotation

36940

36941

By default, if a directory cannot be opened (due to permission problems,

36942

for example), @command{gawk} will exit. As with regular files, this

36943

situation can be handled using a @code{BEGINFILE} rule that checks

36944

@code{ERRNO} and prints an error or otherwise handles the problem.

36945

36941

36946

Here is an example:

36942

36947

36943

36948

@example