Re: [PATCH] pkl: don't use ':' as a path separator if it's denoting a windows drive

[Jose E. Marchesi]

>  Am Donnerstag, 15. Februar 2024 um 17:46:30 MEZ hat Jose E. Marchesi 
> <jemarch@gnu.org> Folgendes geschrieben:
>
>> Hi Hannes.
>>
>> Thanks for the patch.
>>
>> I think this needs a documentation update, i.e. to be mentioned in the
>> manual (poke.texi)...
>
> Does the following work?

Yes I think it is good.
OK for both master and maint/poke-4.

Thanks!

>
> diff --git a/doc/poke.texi b/doc/poke.texi
> index cff0748d..f7934307 100644
> --- a/doc/poke.texi
> +++ b/doc/poke.texi
> @@ -7941,6 +7941,9 @@ sequential order for the file corresponding to the 
> requested module.
>  Empty directory names and entries that do not name existing
>  directories are ignored.
>  
> +On Windows, colon characters (@code{:}) that are part of a drive
> +designation, like @code{c:/}, are not used as directory separators.
> +
>  Some entries have special meanings:
>  
>  @table @code