Re: POKE: New file.

[Jose E. Marchesi]

>> 2020-11-14  Jose E. Marchesi  <jemarch@gnu.org>
>>
>>      * POKE: New file.
>
> On case-insensitive file systems, you can't have a directory 'poke'
> and a file 'POKE' in the same directory.
>
> Such file systems are relevant today:
>   - On macOS, the file system is case-insensitive, unless the person
>     who installed the OS turned it off at installation time.
>   - On Windows, most (or all?) file systems are case-insensitive.
>
> To fix it, you would either need to rename 'poke' (maybe to 'src'?), or
> rename POKE (what is the common suffix for rec files?).

How sad :(
Well ok, I will rename POKE to POKE.rec