Re: Will @include be called multiple times for duplicated files?

[Manuel Collado]

El 26/2/23 a las 20:15, Peng Yu escribió:
> On 2/26/23, Manuel Collado <mcollado2011@gmail.com> wrote:
> > El 26/02/2023 a las 4:24, Peng Yu escribió:
> > ...
> > 1.- The gawk manual:
> > https://www.gnu.org/software/gawk/manual/html_node/Options.html
> >
> > -i source-file
> > --include source-file
> >
> >       Read an awk source library from source-file. This option is
> > completely equivalent to using the @include directive inside your
>
> This is an oxymoron. The manual should not be written as "completely
> equivalent" and then say it is different. At most, it can say
> "similar" than explain the difference.

Where does it says it is different?

> It seems that the manual has quite some room to be improved.

Of course. Like any technical document in any field. Nobody is perfect.

--
Manuel Collado - http://mcollado.z15.es