[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Will @include be called multiple times for duplicated files?
|
From: |
Peng Yu |
|
Subject: |
Re: Will @include be called multiple times for duplicated files? |
|
Date: |
Tue, 28 Feb 2023 09:26:35 -0600 |
On 2/27/23, Manuel Collado <mcollado2011@gmail.com> wrote:
>
>
> 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?
Sorry. I misread it. There is no difference between -i and @include.
>> 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
>
--
Regards,
Peng