On 05/10/2023 21.40, Ulrich Mueller wrote:
>> On Wed, 04 Oct 2023, Arthur Zamarin wrote:
>
>> Files can decide to add some extra file documentation, in which case, the
>> entries start after the line:
>
>> #--- END OF EXAMPLES ---
>
> This agrees with current package.mask, but seems
> On Wed, 04 Oct 2023, Arthur Zamarin wrote:
> Files can decide to add some extra file documentation, in which case, the
> entries start after the line:
> #--- END OF EXAMPLES ---
This agrees with current package.mask, but seems rather specific.
Instead of reinventing the wheel, maybe a
